Update notes for submitted changes

* Comment out nonworking LexicalProvider code in Mono