Seems that GIT doesn't bother checking for hard-copy terminals, and so overstrikes are screwed up. http://twitter.com/33asr/status/1097165302125789184 -- Dave