Update notes for submitted changes

* Prove that a user can't remove global resources