Hello, I would like editor access to the wiki; my username is asotolongo and I would like to modify the https://wiki.postgresql.org/wiki/CustomCumulativeStats" to add and register the #30 id for a new extension that I developed. I'm trying to follow the protocol of ID registration  https://github.com/asotolongo/pg_stat_login

Best regards,

Anthony