https://www.lmorched.com/2019/07/gmail-doubletick.html