Sorry, yes, my comment was confusing. I was answering the "how do I get faster notifications in a supported manner" part rather than the "how does the Gmail web UI do this" part.