<a title="Documentation: slight reformatting of our different scripts" href="https://github.com/opencor/opencor/pull/2102">PR #2102</a>: Documentation: slight refor...