User blog comment:A Google User/Extensions for Gmail/@comment-45013843-20200703010101

Good to know!