Stylus, as mentioned in the article:

https://addons.mozilla.org/firefox/addon/styl-us/