I’ve done a bit of an update on the theme for the site. Please let me know if you see any problems.
I also have temporarily reactivated the edit comments function. Apparently, they fixed the bug in an update but the update didn’t actually show up in the numbered update (or something). So I deleted [...]