How do I find a ticket when I know its number?

Open the search in the ticket list and type the ticket number. Numeric searches also match the exact ticket ID, so the ticket appears in the results even if the number is not mentioned in its text. You can then open it directly from the list.