doc: manual source moved under dox/src