Yeah… sorry about that… The long-awaited change of server that I had been planning for more than a year has finally happened :-)
It took some time, and things are coming back online one piece at a time…
On the good side, Git has become easier to browse and use. See here: https://yalis.fr/git/