Editing developer intro pages
Further page edits
Proofing fixes & style stuff
Merge pull request #219 from hflynn/10212-fix

Editing developer intro pages
Merge remote-tracking branch 'origin/dev_4_4' into contrib-section

Conflicts:
	developers/index.txt