<a title="Some minor cleaning up of the general documentation" href="https://github.com/opencor/opencor/pull/1911">PR #1911</a>: Some minor cleaning up of t...