It wasn't actually! I've been using a third party extension that tries to provide a similar tray icon (after moving from a different extension that doesn't support my version of GNOME) but it's really flaky. I'll try this. Thanks for the tip.