Features & bug fixes:
- Replace web app with a React/MUI-based web app from the 21st century (#111)
- Web UI broken with auth (#132, thanks for reporting @arminus)
- Send static web resources as
Content-Encoding: gzip, i.e. docs and web app (no ticket) - Add support for auth via
?auth=...query param, used by WebSocket in web app (no ticket)