Jai Vetrivelan schreef op zo 20-03-2022 om 18:48 [+0530]:
> `page-delimiter'

This is not Texinfo markup, maybe @code{...} is necessary here?

Greetings,
Maxime