Returns a list with the number(s) of the timer(s) matching the given name. If no timer with that name is found, returns an empty list. If there are several timers with the same name, returns the numbers of all of them.

The number of a timer is necessary to edit it. However, as the user can change the order of timers, create new ones and delete old timers, a timer's number may change, so you should not store its number; you must fetch the number just before editing it.