Data push 2024-06-25

There was a data push this morning - only to version 11.5. Not only it didn't fix anything that was fixable with a data push, it kinda screwed up additionally, LOL, although nothing terribly obvious.

Only two changes:

• Copies of all levels have been delivered in RTON format too (besides those in JSON format that were already present). It can be argued which of the two formats is better but there is absolutely no need for both to be present; it just wastes space on everybody's device.

• The English language file (only) was degraded to an older version.

  • Blast Spinner is again written in ALL-CAPS.
  • Doom-shroom's name and various Almanac stats are again missing.
  • Various "Coming soon" messages that were added earlier are now missing.