Add a Github ribbon referencing the repo

[ci skip]
Expand the copyright description a bit

[ci skip]
Fix ERT cross references in HTML manual