Hello,As of version 4.13, in the documentation of texinfo, file src/texinfo.txi in @node firstparagraphindent, last paragraph/line 3968 is:
It is best to write the @code{@@paragraphindent} command before the
end-of-header line at the beginning of a Texinfo file, so the region
formatting commands indent paragraphs as specified. @xref{Start of
Header}.
This paragraph shall speak about @code{@@firstparagraphindent}not about
@code{@@paragraphindent} .
Със здраве, Дилян
