=doc #3647 Clarify that existing FSM timer is canceled by setTimer