Sin opción de reiniciar Gnome (Alt+F2+r) tras actualizar a Ubuntu 20.04

No sé por qué, pero tras actualizar Ubuntu 18.04 a Ubuntu 20.04 en mi portablet Vexia, ha desaparecido la opción de reiniciar Gnome sin cerrar sesión utilizando la combinación de teclas Alt + F2, que permite ejecutar un comando.

Si abría el cuadro de diálogo que permite ejecutar un comando:

Al ejecutar el comando r, me decía que no había sido encontrado.

Por no perder tiempo con el tema, he creado un script /usr/local/bin/r, con el siguiente comando, que se encargue de reiniciar Gnome Shell:

#!/bin/bash
pkill -3 gnome-shell

Una vez creado el script, no olvidéis darle permisos de ejecución:

chmod +x /usr/local/bin/r