Update notes for submitted changes

* knotc: improve help message