(Fword_search_forward_lax, Fword_search_backward_lax): New funs.
Attach a file by drag & drop or click to upload