[tor-commits] [metrics-web/master] Change "other" line in platforms graph to dark gray.