https://blog.dummzeuch.de/2017/05/25/addons-for-firefox/