Removing metrics

[Mason Chen]

Hi all,

Suppose I have a short lived process within a UDF that defines metrics.
After the process has completed, the underlying resources should be cleaned
up. Is there an API to remove/unregister metrics?

Best,
Mason