Document 'depexts' in the dev-manual
Now that it is a bit more stable. Closes #991
dev-manual: fix some undefined refs
rebuild dev-manual pdf
Merge pull request #1087 from AltGr/update-dev-manual

dev-manual: Documenting 'depexts' and a few fixes