I’m trying out various IMEs. Up until now, I’ve been using the default one on my Mac, but surprisingly, it might be good. If using a non-default IME on Mac eliminates the occasional frustration, then it’s good.