Create Hidden Service for ooni.torproject.org
I believe similar infrastructure is in place for www.torproject.org? Can this be provided for the subdomain ooni.torproject.org? Currently the ooni.torproject.org links to a hidden service that is hosted on a non-tpo machine, and we would like to change that.
Arturo, perhaps you can provide the seekrit key of the HS so that things will flip over automagically?