On Mon, May 4, 2020 at 8:45 AM Tim Evans <tkevans@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