Add the PDE extension to `extensions.json`

[tsmaeder]

Contributing.md recommends installing the PDE extension, but the extension is not listed in extensions.json.