Removed old devel doc. More text in new devel doc