On Mon, May 4, 2020 at 8:45 AM Tim Evans <tkevans(a)tkevans.com> wrote:
The drop-down gnome shell menu in F32 (upper right hand corner of
the
desktop) has a new "Extensions" panel now. It's very prominent, with an
extra large @-like icon.
I do not see this on my freshly-upgraded-to-F32 laptop. You must have a
setting, extension, or app that I do not.
--Greg