@oliverwiegers @flashfox @jfredett Not the Nix package manager team, but yes, he has contributed a lot in the past, esp in the sort of 2010-2018-ish era, although I'd have to check when he got involved. It was early. I'd also consider his Cachix product to be a significant contribution and I think he's managed it in a way that's good for the community.
He's implemented https://consoledonottrack.com/ and it's open source so we can check that it works.
Opt-in would be nicer, but it's something.