[tor-commits] [metrics-web/master] Add @microdescriptor 1.0 to formats.html.