PGD: add documentation section considering extension usage
What Changed?
The subject of installing other extensions in a PGD cluster has come up a couple of times recently, but the documentation doesn't really say much about it, so add a section discussing various relevant issues etc., and also explicitly list the extensions which are known to be compatible.
BDR-5141.
@ibarwick it looks like DJ dropped some suggestions for you to take a look. Could you take look and integrate them? We can take care of merging afterwards.
@gvasquezvargas apologies for the delay, this got a little lost somewhere.
I've refactored it based on DJ's suggestions and submitted it as ready-for-review.
The PR is against the develop branch; there is nothing specific to PGD 5.6.
🚀 Deployed on https://deploy-preview-5789--edb-docs-staging.netlify.app