ModuleInfo: the HTML markup of the documentation is uniformed.