PinDA timers, doc