FYI, Google timer is gone https://news.ycombinator.com/item?id=32295674 (17 days ago).