Comment 10 for bug 952223

This patch also replaces run_command_terminal with gnome-terminal, meaning that people who've selected a custom terminal launch command will see changed behaviour. That seems suboptimal. Based on this and pitti's translation objection, I'm rejecting the upload for now, this needs further discussion (or localisation to just gnome-shell for now).