The other years
2020 2019 2018 2017 2016 2015 2014 2013 2012
December 24, 2020:
Just as I thought, the rest of the restructuring will be in 2021.
October 30, 2020:
The year actually started quite well. I got a lot of pages moved to this site... and then Corona happened, an a few other things, and suddenly we are looking at the last two months of the year. Hopefully I'll be done with the transition this year, but looking at 2020 so far, I seriously doubt it.