Update notes for submitted changes

* Fix installation of HTML manual