Site migration in progress

This site is temporarily offline for a systems migration, which began on 2021‑12‑06. It continues apace as of 2021‑12‑08.

My personal site has lower priority than some infrastructure services that are also being migrated. It will be online again soon. Apologies for any inconvenience.