* Implement pen pressure
* Can be toggled, enabled by default
* Basic support for discord activity usage
* frontend
* Move scripts to separate files
* Remove inline event handlers
* Remove absolute URLs
* Track discord activity session via cookie
* backend
* Use discord session as lobby id if available
* index redirects to session lobby if available
* Connect, Disconnect and Name-Change loggers removed
* Foooter source code link now works with untagged and dirty commits
* Player slot reservation reduced from 5m to 1m
* Public lobbies now display connected players, instead of occupied
slots
* Spectators not displayed in scoreboard anymore
* Fix gameover display not displaying rank and score correctly
