This webpage is now hosted here: https://www.nicolasboumal.net.