Welcome back “Google set a timer for X minutes.”

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