The upgrade is done and live now.

Notably it fixes a problem with linking to comments.

Note that we also offer these two alternative user interfaces:

• https://a.lemmings.world - a sleek and modern UI
• https://old.lemmings.world - a UI similar to old Reddit