RFC #7437: Docheaders: Module Admin tools > Log: No docheader