Site upgrade

Careful readers may have noticed small changes here and there. Today, I performed a somewhat bigger upgrade behind the scenes. Everything seems to be working like before… Still, if you see something fishy, please let me know.