A personal proxy server for web developers