[tor-dev] Extending Tor stats to cover anon OSs?

@TPO devs

Since you do a great job safely collecting useful stats on the network, would you be open to adding a self-identifying anonOS distro option to the protocol? Would this be OK or is it mission creep? On the flip side it would be much more accurate than anything we can do to estimate active user base.

Some ideas:

*The distro name options could either be hard-coded values (for example TAILS, Whonix...) or a custom one chosen by downstream maintainers.

*Distro maintainers would enable it for Tor clients via torrc.d