[20:09] <floborg> Does anybody know how to remove gnome-appearance-properties?