> I guess this code is not necessary for char-fold search, but to
> double-check I'm looking at this problem now.

Indeed, it's not necessary. The problem is that I was under the impression that that lax variable referred to lax-whitespace, so I coded some things on that assumption.

I've fixed that mistake now.