[tor-commits] [metrics-web/master] Rename flags_p to flag_p.