Update notes for submitted changes

* Add a resource_facade intrinsic function to HOT