Anyone knows how to contact the fine people behind notabug.org?
There’s quite a few Guix/Guile-adjacent projects there that we should probably migrate to Codeberg, but we can’t do that properly without their help (adding Codeberg IPs to an allow-list on their side would be enough).