Update notes for submitted changes

* Fix more re-definitions and enable F811/F813 in gate