Wow. GNOME 3 customization is awful.