You may not understand the scale here. There are about a hundred thousand users, a lot of whom had thousands of scores in this format. Some tens of thousands. It's not a straightforward proposition to simply jump to another platform, especially since there's no perfect conversion between any notation software given the proprietary algorithms involved, and the sheer complexity of music notation itself. It's a bad day for a lot of people.