build.gnome.org: More website updates