Here is the link to the extension:
https://chrome.google.com/webstore/detail/alelhddbbhepgpmgid...
And apparently there is a corresponding Firefox addon as well, which has 166,107 users. So in total I presume there are over 1/2 million users.