Extensões do wiki

Alguém sabe dizer se é conhecida/publicada uma lista das extensões Mediawiki que por ventura estejam instaladas no wiki do OpenStreetMap?

Como e a quem solicitar que sejam instaladas extensões?

De acordo com este wikipage Grant Slater deve ser capaz de responder às suas perguntas.
https://wiki.openstreetmap.org/wiki/System_Administrators
https://wiki.openstreetmap.org/wiki/User:Firefishy

Obrigado, muralito. Perguntei: User talk:Firefishy#Mediawiki’s extensions installed in this wiki.