Pretty much ^ because I remember using a certain character in the JKSM save manager on accident and... yeah, tried opening, deleting, etc to the file and it would NOT do anything, not even delete the file, until I edited the name/deleted the file in the save manager itself.
As for the badge...