[tor-commits] [tech-reports/master] Merge branch 'hidserv3' into master