I don't know if the thing they're announcing here is just an extension, but the features mentioned in the article all come included in the pop shell gnome exten

I don't know if the thing they're announcing here is just an extension, but the features mentioned in the article all come included in the pop shell gnome extension. https://github.com/pop-os/shell https://github.com/pop-os/shell