62244ded10
patterns. This is not critical, since for the moment both possible cases (unclosed [], and \ at the end of the string) are handled more or less sanely.