The short version is that '((' is never unterminated and so we can
never be in a situation where we are trying to unwind a '((' (and would
incorrectly replace it with a '_').

(This situation would exist if we had multiple ways of introducing
other font styles, but we don't.)