Yes, I must have have misread - I can see how e.g. "abc]]d" is handled correctly now.