More external docs and fix for them not applying to pretty names