(no subject)

[lex at cc.gatech.edu]

I don't see why ~ should be escaped.  It is relatively safe to escape it
(though I've seen servers that have problems with it!), but it means
that if you read in a URL like 'http://abc.com/~user' then it will print
back out as 'http://abc.com/%7Euser'.  What is the point?  Both URL's
have the same meaning, don't they?!

Unless there is a specific problem this is invoking, I think this fix
should be rejected.  It looks likely to cause more problems than it
adds, and it will make URL's print out less nicely to boot.