Gregory's Server
Built a fresh version of Guix Installation ISO for russians and other people, who can't access https://ci.guix.gnu.org.
It uses http://ci.guix.trop.in proxy instead and contains an updated connection check, which fails iff both bordeaux and ci.guix.gnu.org are not available.