Extensions

The server tries to keep a json file about extensions up to date. Moreover there's a manually maintained json file about system extensions.

Use the following form to search by extension keys.

Type at least three characters in the search field.