Update notes for submitted changes

* Fix several SemDom search UI features