Document the new behavior of lazymatch.