RFC #7435: Docheaders: Module User Tools > Workspace: No docheader