[tor-commits] [torspec/master] Further clarify GETINFO dir/server/* for recent Tors.