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