Translated gnome-shell.ini