Trimmed awesome menu, give up on gnome-terminal prefs