Inserire il tasto di sospensione in Gnome Shell

In generale non sono un appassionato di Gnome Shell, ma mi capita di doverlo usare.

Una delle cose migliori, probabilmente, è la possibilità di modificarlo in profondità in maniera semplice; o comunque sono disponibili parecchie estensioni.

Una di queste ci permette di aggiungere il tasto di sospensione, cosa che non è disponibile di default.