This is the `devel` module filename, not the module name.