A simple timer for human-scale user events, written in vanilla JS.