bug#61549: 30.0.50; [PATCH] New keyboard macro counter functions

[Eli Zaretskii]

> From: Michael Heerdegen <michael_heerdegen@web.de>
> Cc: alex@bochannek.com,  larsi@gnus.org,  monnier@iro.umontreal.ca,
>   61549@debbugs.gnu.org
> Date: Tue, 04 Jun 2024 02:56:21 +0200
> 
> Eli Zaretskii <eliz@gnu.org> writes:
> 
> > > In addition I want to say the suggested manual additions are useful.
> > > Would it make sense to add at least some parts to the file header or
> > > some pieces to the docstrings, or as comments?
> >
> > No, I think these are sufficiently obscure to not be in the manual.
> 
> I agree - but the focus here was on the second sentence.

Feel free to suggest patches for documentation, and TIA.