Please use my new URL:
https://blanqui.gitlabpages.inria.fr/