[Bug 1088563] Gnome Greetings session menu with two Plasma options