Yes. It wouldn’t be backwards compatible to change it to something else. In practical terms, it is convenient that https://tiddlywiki.com/ is the actual distribution.
This thread is focused on a very narrow question (see the title). These are interesting points but they belong in their own thread