Comment réinitialiser sa résolution d'écran d'une session GNOME

Comme c’est extrèmement obscur/difficile à trouver et que j’oublie tout le temps, je note ici comment réinitialiser les paramètres de résolution d’écran d’une session GNOME (ne pas confondre avec ceux de Xorg, qui sont à l’échelle du système dans /etc/X11/Xorg.conf): simplement supprimer le fichier “monitors.xml” qui se trouve dans ~/.gnome2 (ou, possiblement à l’avenir, ~/.config).
Mais franchement, il manque un bouton “réinitialiser” et un mécanisme anti-écran-noir plus évolué dans gnome-display-properties. Étonnamment, personne ne semble l’avoir dit auparavant, alors j’en ai fait un rapport de bug.