[tor-commits] [torspec/master] remove reference to a missing "download all microdescs" feature.