A WWW proxy server for offline browsing