Update notes for submitted changes

* install guide: mysql needs to be restarted on debian/ubuntu