PeriodicExportingMetricReader with Prometheus push gateway to export metrics without a web server? I've noticed that PeriodicExportingMetricReader doesn't perform a collection on shutdown, so if its used on a job that runs and ends at some point, it wouldn't export the final state of metrics. Is anyone aware of a way to make it collect on shutdown or this is expected behaviour? (of course I can just extend the class and override its shutdown to perform a final collection, just wondered if anyone else facing a similar requirement)