17 Mar 2020 : The site has moved from IIS to LAMP#
Today the site finished its 80-day journey travelling from IIS to Linux. Hopefully there won't be too many visible changes to the site, apart from the fact that everything is now TLS-secured. There's a sort blog post about the move on my blog.