Tidy functions.
Add function to set Gnome proxy.