RFC #7503: Docheaders: Module Admin tools > Ext Manager: No docheader