In Windows the config is saved into the registry in HKCU\Software\ASMB\No Mario's Sky.
Thank you so much! The the find tool couldn't find it for whatever reason, and I completely missed the ASMB menu when looking through. Phew. Long day. Lots of fun! Thanks for the quick reply!