On 11/10/20 9:41 AM, Stephen Partington via PLUG-discuss wrote:
> What do you use for your tray icons? 
> 

Its called (drumroll) Tray Icons

https://extensions.gnome.org/extension/1503/tray-icons/

There's other tray icon extensions. This one gets the job done as far as
I'm concerned.