A strange Firefox extension… July 09, 2015 About 1 year ago I wrote this, but only now I realized that I hadn't published it. So in case it helps someone googling for something similar… Read more