Config files and scripts associated with User-Agent switching in browsers, specifically Firefox