Server upgrade 2020



Regular readers of this blog have probably noticed that it is now served from a different IP address… Okay, okay, I'm kidding! This blog doesn't have any regular readers, of course. Anyway, what I'm trying to say is that I recently spent quite some effort to move all my stuff ...