This post was written in January 2020, a smaller update was added in November 2021, and a large update was added in March 2022, with further small changes in April 2022. The original January 2020 blog post remains more or less as written! January 2020 post A few weeks […]