Web extensions packaging team / proxy-switcher