[tor-commits] [torspec/master] Add Ondrej's dns proposal in its original form