OK, the fix for that Tot bug is straightforward, if counterintuitive. I set up a text replacement, ||, for straight double quotes and turned smart quotes on systemwide. I tend to use curly quotes much more than straight ones anyway. This will take some getting used to.