New web site, on GitHub, see sources on https://github.com/nicojourdain/nicojourdain.github.io