Comment 76 for bug 2034619

Enabled proposed repo on 23.10

```
$ $ sudo apt install -t mantic-proposed mutter
Lecture des listes de paquets... Fait
Construction de l'arbre des dépendances... Fait
Lecture des informations d'état... Fait
Le paquet suivant a été installé automatiquement et n'est plus nécessaire :
  libjs-jquery-ui-theme-base
Veuillez utiliser « sudo apt autoremove » pour le supprimer.
Les paquets supplémentaires suivants seront installés :
  gir1.2-mutter-13 libmutter-13-0 mutter-common mutter-common-bin
Les NOUVEAUX paquets suivants seront installés :
  mutter
Les paquets suivants seront mis à jour :
  gir1.2-mutter-13 libmutter-13-0 mutter-common mutter-common-bin
4 mis à jour, 1 nouvellement installés, 0 à enlever et 26 non mis à jour.
Il est nécessaire de prendre 1 727 ko dans les archives.
Après cette opération, 205 ko d'espace disque supplémentaires seront utilisés.
Souhaitez-vous continuer ? [O/n]
Réception de :1 http://fr.archive.ubuntu.com/ubuntu mantic-proposed/main amd64 mutter-common all 45.0-3ubuntu3.1 [45,5 kB]
Réception de :2 http://fr.archive.ubuntu.com/ubuntu mantic-proposed/main amd64 gir1.2-mutter-13 amd64 45.0-3ubuntu3.1 [130 kB]
Réception de :3 http://fr.archive.ubuntu.com/ubuntu mantic-proposed/main amd64 libmutter-13-0 amd64 45.0-3ubuntu3.1 [1 391 kB]
Réception de :4 http://fr.archive.ubuntu.com/ubuntu mantic-proposed/main amd64 mutter-common-bin amd64 45.0-3ubuntu3.1 [49,3 kB]
Réception de :5 http://fr.archive.ubuntu.com/ubuntu mantic-proposed/universe amd64 mutter amd64 45.0-3ubuntu3.1 [111 kB]
1 727 ko réceptionnés en 0s (7 132 ko/s)
(Lecture de la base de données... 313559 fichiers et répertoires déjà installés.)
Préparation du dépaquetage de .../mutter-common_45.0-3ubuntu3.1_all.deb ...
Dépaquetage de mutter-common (45.0-3ubuntu3.1) sur (45.0-3ubuntu3) ...
Préparation du dépaquetage de .../gir1.2-mutter-13_45.0-3ubuntu3.1_amd64.deb ...
Dépaquetage de gir1.2-mutter-13:amd64 (45.0-3ubuntu3.1) sur (45.0-3ubuntu3) ...
Préparation du dépaquetage de .../libmutter-13-0_45.0-3ubuntu3.1_amd64.deb ...
Dépaquetage de libmutter-13-0:amd64 (45.0-3ubuntu3.1) sur (45.0-3ubuntu3) ...
Préparation du dépaquetage de .../mutter-common-bin_45.0-3ubuntu3.1_amd64.deb ...
Dépaquetage de mutter-common-bin (45.0-3ubuntu3.1) sur (45.0-3ubuntu3) ...
Sélection du paquet mutter précédemment désélectionné.
Préparation du dépaquetage de .../mutter_45.0-3ubuntu3.1_amd64.deb ...
Dépaquetage de mutter (45.0-3ubuntu3.1) ...
Paramétrage de mutter-common (45.0-3ubuntu3.1) ...
Paramétrage de mutter-common-bin (45.0-3ubuntu3.1) ...
Traitement des actions différées (« triggers ») pour libglib2.0-0:amd64 (2.78.0-2) ...
Traitement des actions différées (« triggers ») pour libglib2.0-0:i386 (2.78.0-2) ...
Traitement des actions différées (« triggers ») pour libc-bin (2.38-1ubuntu6) ...
Traitement des actions différées (« triggers ») pour man-db (2.11.2-3) ...
Paramétrage de libmutter-13-0:amd64 (45.0-3ubuntu3.1) ...
Paramétrage de mutter (45.0-3ubuntu3.1) ...
update-alternatives: utilisation de « /usr/bin/mutter » pour fournir « /usr/bin/x-window-manager » (x-window-manager) en mode automatique
Paramétrage de gir1.2-mutter-13:amd64 (45.0-3ubuntu3.1) ...
Traitement des actions différées (« triggers ») pour libc-bin (2.38-1ubuntu6) ...
```

Closed GNOME session, reopened it, unplugged from dock, force lock screen, and I cannot reproduce the problem anymore.