Hi Andrea, Cyril, merged the docs, thanks! I also deleted .github/workflows/wiki-mirror.yml (there were 2 failures in CI after the move). Also, for some reasons some build CI jobs fails on some jobs in make install, but that should not be related. Hopefully restart fixes that. Kind regards, Petr