Escaped double quotes are currently not handled
See !5 for one simple fix. This also has the advantage, that one can directly see even or odd number of backlashes.
See !5 for one simple fix. This also has the advantage, that one can directly see even or odd number of backlashes.