Did anyone experience this?

As a backup test, I've exported initial default ~1410 jazz songs list
as a .html file. Then edited one song (just replaced F-7 with F in one measure) and hit SAVE....