[eudes_ochoa]

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