lean4game maintenance

Stream: Lean for teaching

[Jesse Alama]

I have been working on a new Lean game and noticed that the NPM dependencies for lean4game are a bit out-of-date. One of the dependencies requires us to go from TypeScript 4 to 5. I've made a PR to do a modest update (just bump minor versions): https://github.com/leanprover-community/lean4game/pull/447

If this isn't the right channel for this, let me know. There doesn't seem to be a channel dedicated to lean4game.