Dang, I suspected it would be this but I had ruled it out! So people are actually naming their files "platformsettings.txt.txt" without realising, because their file extensions are hidden.I think I can fix this! cheers!
