Update notes for submitted changes

* ion: fix missing header export