Hi hackers,
I've compiled a list of all* PostgreSQL EXTENSIONs in the world:
https://gist.github.com/joelonsql/e5aa27f8cc9bd22b8999b7de8aee9d47
*) It's not all, but 1041, compared to the 338 found on PGXN.
Maybe it would be an idea to provide a lightweight solution,
e.g. maintaining a simple curated list of repo urls,
published at postgresql.org <https://www.postgresql.org/> or wiki.postgresql.org,
with a simple form allowing missing repos to be suggested for insertion?
/Joel