I've noticed in the NR that stuff like `\foo` isn't always coloured as expected (i.e., `\foo` isn't always bold). Attached are two examples from the NR.
I wonder whether it makes sense to always embolden stuff starting with
`\` (except in a string). This might even include `\1` and friends.
Werner
