v4.7.0

npm audit

v4.6.1

bump to v4.6.1

v4.6.0

fix replacement for 2+ variables

v4.5.0

bump to v4.5.0; fixed

v4.4.0

Merge branch 'v4.4.0'

v4.4.0-rc1

bump to v4.4.0-rc1

v4.3.0

The biggest new features are

• The information displayed on the server's landing page is now part of the game, see instructions
• There is now an option to add pictures to the game, see more details

Concretely, you should add the following in Game.lean:

Languages "English"
CaptionShort "Game Template"
CaptionLong "You should use this game as a template for your own game and add your own levels."

v4.3.0-rc2

Update update_game.md

v4.2.0

fix redirect from landing page in dev container #145

v4.1.0

change to vite