[tor-commits] [torspec/master] Tweak section 3.3 "Microdescriptors".