This blog is undergoing some upgrades and maintenance. For now, I am still using WordPress, but that might change.

As such, you might notice some adjustments, hopefully minor, but all posts should remain available at the original URLs. Some internal links might be broken as well as shared pdf content. The later should be fixed at some point.

I have disabled new comments for now to avoid work related to moderation. I will probably enable new comments at some point, but no promises.