And while we're at it, might as well remove the support for (creating) *.ini file scripts. *.mrc files are shorter, clearer and have a decent identifying extension. Those ini files are good (not great) for storing some kinds of data, not for scripts imo... You have a blah.mrc for the script and blah.ini for config info, clean & simple; not a blah.ini for the script and foobar.ini for the config...
