added a firefox extension which executes the same script