Follow-up to #87. The extension was moved to a separate repository, which should be documented, i.e. the documentation needs updating in the [*Installation*](https://docs.civicrm.org/civiproxy/en/latest/installation/#installing-the-civicrm-extension-on-your-civicrm) section.
Follow-up to #87.
The extension was moved to a separate repository, which should be documented, i.e. the documentation needs updating in the Installation section.