Update notes for submitted changes

* Tweak devtest to avoid bad highlights.