Update notes for submitted changes

* Use mkdir -p in case the Jenkins $HOME directory is already there.