I had some downtime due to an unexpected issue with the blog, but everything is fine again now. Big shout-out to Chris who helped me with backup and recover.
The old theme didn’t work any more with the latest WordPress release, so I ended up with a new theme too. Still tweaking some of the font sizes and colors, but here we go.
After 12 years (since the first post in 2007) with the same look a refresh was probably justified.
