Strip space before a grammar subscript, fixing a formatting glitch somewhere.
Recognize subscripts containing markup as possible grammar subscripts, fixing formatting in several places, particularly #sec-destructuring-binding-patterns. Issue #56.
Hack around a very minor document glitch. This in combination with the preceding patches fixes #56.