A submodule for `notex`