[distro-dev] extensions services

[Fabio Ramos]

Extension services page not working. Please post a note if the link or data
base is being repaired.