Some editing of our developer documentation.
Some editing of our documentation for internationalising OpenCOR. Also some minor cleaning up as a result of the updated documentation.