Fixed bug #7595: Docheaders: Module Admin tools > Indexing: No docheader (Thanks...