>> I am wondering if there is a reason that the list on top of:
>> https://www.postgresql.org/docs/devel/monitoring-stats.html
>>
>> ... is not alphabetically ordered?
>This was cleaned up most recently in commit 72e0ff2677c. Please check
>there if the current arrangement does not match the guidance put in
>place there.
Thanks for the hint, Peter.
Regards
Daniel
