February 28, 2020
In the last few months, I’ve decided to clean up many old backups I have lying around. Since I don’t want to lose any data that is still relevant, I’m checking all files within those backups. I found multiple backups of my old web blogs in the process, and I’ve decided to get the posts (and maybe also the comments in a second phase) out of those backups and re-publish them here on this website. So, if some old posts will appear in this blog in the next few months, don’t be surprised!