[tor-commits] [metrics-web/master] Remove module on disagreement among dirauths.