Werner LEMBERG Wed, 11 Jan 2023 23:28:36 -0800
> However, I've tried to fix it in commit bdb7f23072 (texinfo.tex > version 2023-01-11.18).
It works, thanks! Werner