bash_profile: Fix proxy snafu.
[profile] / hyperspec
2008-04-21 Mark WoodingNew script `hyperspec'.