This page has moved to https://docs.weblibre.eu/extensions.html.