Suppose the data is "foo//bar"

Should the above be
(a) <x>foo/bar</x> or
(b) <x>foobar</x>

The problem is this. In order to produce <x>foobar</x> you have to recognize that the second / isn't in fact the start of a delimiter, and that requires lookahead for the entire possible length of the delimiter, and that's unbounded because of the %WSP*;  in it.

I believe the semantics of escape characters should not require looking at more than the next character after the escape character, but this will result in the escape character behaving as if it escapes any single character that follows it, not only the first character of a delimiter.

Is the right behavior here clear?

...mikeb