<a title="General: provide a shortcut to reload a file (#2286)" href="https://github.com/opencor/opencor/pull/2287">PR #2287</a>: General: provide a shortcut...