desktop

2022-09-05 Gnome 42
2019-06-05 Debian Linux Dell XPS 9550 and Sennheiser Bluetooth headphones
2017-02-25 Customizing Gnome-Shell ≥ 3.20 (smaller titlebars)
2012-11-22 Gnome 3 extension to hide the top bar (except in overview mode)