Update notes for submitted changes

* Fix crash in "make html" introduced by the global env