More precisely, texinfo.dtd should have been compared with the 5.0
texinfo dtd, to determine if there are differences that require
TEXINFO_DTD_VERSION to be set to the current version, here 5.2.Got it. I'll add it to the release list in README-hacking.
