firefox tweak, autohotkey