There was a minor site-wide outage today (resulting on 404 errors all across the site) due to an automatic WordPress update that went wrong. It now looks like this is fixed and the web site is back online. However, if you notice any strange behavior, please drop me a line!