Make ticket query more general. ([diff](https://trac.torproject.org/projects/tor/wiki/org/teams/MetricsTeam?action=diff&version=10)) URL: https://trac.torproject.org/projects/tor/wiki/org/teams/MetricsTeam?version=10