Bastien Nocera authored Feb 21, 2020 and Richard Hughes committed Mar 02, 2020

To match both the option's description (“Quit the running instance”),
and the fact that it's a command-line option for developers and
command-line aficionados.

This doesn't change the behaviour of the “Quit” action in the
gnome-shell app menu.

Closes: #844