Editing developer intro pages
Further page edits
Proofing fixes & style stuff
Fix broken URLs due to Jenkins job renaming (4.4 -> stable)
Fix Jenkins view URLs
Merge pull request #223 from hflynn/rebased/develop/10212-fix

Editing developer intro pages (rebased onto develop)
Merge pull request #226 from sbesson/rebased/develop/jenkins_stable_renaming

Jenkins stable renaming (rebased onto develop)