Infrastructure

• A second round of updates from the GNOME Sysadmin Team
• Some updates from the GNOME Sysadmin Team