On Tue, Dec 24, 2024 at 07:00:08PM +0100, Patrice Dumas wrote: > > > --[no-]number-footnotes number footnotes sequentially; > > > default is on. > > > > > We don't have to document all of the options in the help message, only > > in the manual. > > > > If that is the only option that we don't document, then we should add it, > > but if there are more undocumented options, we should consider removing > > other options from the help message only to leave frequently-used ones. > > As far as I can tell, it is the only option that we don't document.
Added. -- Pat
