• @TheGrandNagus
    link
    English
    17 months ago

    That’s a Pop addition, although you can easily use it on any other Gnome desktop by installing it as an extension