On 31.01.25 11:46, Daniel Westermann (DWE) wrote:
> 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.