V8.22.3

Technical changes

• #597: faster documentation site updates with no downtime during deployment.

Fixes

• #588: Component entity duplicates no longer occur, including in spawn chunks and after a server crash.
• 533 Fix documentation website generation:
  • Fix duplicate title showing on some documentation pages.
  • Fix duplicate entries in the documentation sidebar where a category and its landing page were both listed.
  • Fix raw {width=... height=...} text leaking next to some images on documentation pages.
  • Move the Home page to the top of the documentation sidebar.
  • Reduce documentation site weight by compressing wiki images and converting heavy GIF animations to MP4 video.
  • Fix some documentation links jumping out to GitLab instead of navigating within the documentation site.
  • Hide community puzzle solutions from the documentation site (they remain available on the GitLab wiki).
  • Add a banner at the top of the documentation site promoting the public play server.
  • Show live play server status (online players, MOTD) on the documentation home page.