Gawk --pretty-print and @namespace bug(?)

[J Naman]

--pretty-print output a @namespace directive *appended to a comment line,
thus commented out.*
FYI: Running on *Windows* GNU Awk 5.1.0, API: 3.0 (GNU MPFR 3.1.5, GNU MP
6.1.2).
Source & awkprof attached.

BTW, I never knew/realized/saw in docs that *--prettyprint lists functions
in alphabetical order*,* when you include the namespace*
*as part of the name of the function.* My functions were reordered compared
to source, which I worried might be a bug. Found out it isn't.

A very minor, low priority, *suggestion* for some future update to *The
User’s Guide for GNU Awk*
*Add a sentence such as* "--prettyprint lists functions in alphabetical
order, when you include the namespace
as part of the name of the function." to the @namespace and/or -prettyprint
sections
Thanks! John Naman, gawker@703n.com

awkprof.txt
Description: Text document

PPrtFeatBug.awk
Description: Binary data