Ineiev <ineiev@gnu.org> writes:

>> The node "Lax Search" does exist in the manual, I see it in the Info
>> formatted manual.  So this is some problem with how the manual was
>> generated and/or uploaded to www.gnu.org/software/.
>
> I guess it's a new file that hasn't been added to CVS.

Indeed, this one and some other pages were missing. I added them to the
repository, and I'm closing this issue.

Nico