>> I'm using texinfo 7.1 now, the pdf build is still failing when I try
>> "make docs", with the same errors.  Not sure what to do now.
>
> May you please try to create a reproducer then?
> Starting from a freshly cloned Org repo.

Here's what I get when I run `make docs' after pulling from main.
Should I create a bug report?  I'm not sure yet if PEBKAC.

Karthik