[nymiro]

I would be interested to know which gnome extension in particular are you referring to :)

[paines]

https://extensions.gnome.org/extension/2203/gnome-run-with-p...

[diffeomorphism]

From 2016: https://www.phoronix.com/scan.php?page=news_item&px=GNOME-Sh...