Update notes for submitted changes

* Fix vncproxy package/service name on Debian