Firefox addon that quickly switched the user agent of the browser