https://debbugs.gnu.org is going down for a quick maintenance cycle. Services should be restored in ~5mins.