A small update for those following the main site: there’s now an irregularly-updated changelog and associated Atom feed^α to keep up to date with new pages and additions. It’s slower-moving than the updating of dates on the index page, but requires less effort to follow, and is more comprehensive. That’s all. Bye now!