tgrep.bat: expanded file comment