It would be helpful to display the total number of tickets when we filter by category. For instance, if we filter the tags for the 13th-month query, would it be feasible to have the total number of tickets displayed somewhere?