[smusamashah]

Thank you very much for providing it as a userscript. Most of the extensions can be just that. A simple user editable script.