M4File In the dtx.ini file, the settings listed under the M4File heading pertain to the file listener in the Launcher.