Very excited to see this hit the formal proposal milestone!
A request for people reviewing the proposal:
There's an open change proposal for adding some level of lifecycle awareness for metrics implementation libraries which might need them, details explained in Consider a form of "unregister"/"destroy" for metrics #6, and the implementation PR Add MetricsSystem.release() to allow metric lifetime management #6 #11 (names can change, the general feature matters).
If someone has opinions on this or ideas how to solve this in a different way, please chime in!