And planeta.gnome.pt up and running. You can tell Andreas the theme is available at https://git.gnome.org/browse/planet-web/tree/themes/gnome-pt. In the meantime the default GNOME theme is being used. Let me know if everything is OK on my side.