Implement 'hideproxies' option