Not necessarily very important, but UTF-8 is the default input encoding since Texinfo 6.7 (23 September 2019), depending on the Texinfo minimal version you target, you could remove the "@documentencoding UTF-8", and/or change the wording of the recommendation.
On Fri, Jan 19, 2024 at 06:00:34PM +0000, Jean-Christophe Helary wrote: > - ’@documentencoding UTF-8’ is automatically included in the file since it is > in ’doc/emacs/docstyle.texi’. Do not add it to your file headers. -- Pat
