Filename Extensions
 Changing Filename Extensions
──────────────────────────────────────────────────────────────────────────────

 MrDebug saves information to various files. In case the filenames class with
 anything that you may have, we give you the choice of filename extensions.