Extensions to `timer.el'