Update notes for submitted changes

* knotc: fix broken parameter parsing caused by 56613d1