[samwierema]

Yes, this is correct. Where pushgateway is specifically not an aggregator we do support it.

Happy to answer any more questions you might have!