15 Dec 202020:10 Material Shell - A new desktop experience → material-shell.com A tiling shell extension for Gnome gnometoolstiling-window-managerbookmarks
15 Dec 202020:09 p-e-w/argos: Create GNOME Shell extensions in seconds → github.com/p-e-w/argos Create your own app indicator menus with shell scripts. gnometoolsbookmarks