Maaaan... trying to build #GNOME control-center to do some tinkering and during the build I figure out 0pointer.de is down since a dependency lives there.

@pid_eins do you per-chance have any more information on when to expect the site to be functional again (or even if this planned downtime)?