Now if only GNOME didn't regularly break the more useful extensions...