Developer gnome search is down since Monday
I noticed that the search engine (https://developer.gnome.org/) does not work since Monday. Does this Affects you all, or is just a local (Germany) problem only?
If I try to search something I get the same message every time:
The requested URL /symbols/ was not found on this server.