Renamed module -> extension, module_def -> module.