persistent-events: Doxygen for timer API