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/