The following pages link to File:Using Putty and an HTTP proxy to ssh anywhere through firewalls.pdf: