Update notes for submitted changes

* Fix ssh public key on jenkins-dev.