Added feature #7427: add docheader to file -> filelist module, credits Christoph...