A mozilla firefox plugin for changing HTTP headers