Remove unused proxy-related code (no longer working in Firefox 18)