I’ve reluctantly removed Tot from the menu bar on the Mac and added it to the Dock instead. When it’s in the menu bar, it seems that menu commands (e.g. toggle Smart Quotes) aren’t reliably accessible because the Finder or Safari (or whatever) commands remain in the menu bar 😒