Update notes for submitted changes

* Trivial: Use the true ssh default key instead of a hardcoded one.