Re: Correspondence between web-pages and Info-pages

[Kelly Dean]

chad wrote:
> Redirects of this sort wont do what Stefan wants, because once youre
> looking at one of the target destinations, the links youll have in
> it will be to the post-redirected sources, which breaks on reference.
> Put another way, after I go through the redirect, I cant cut-and-paste
> the URL from the web browser and have it DTRT.

But in the solution I proposed, the only change necessary to convert a 
post-redirect link to a pre-redirect link is (in the case of HTML as the 
redirect target) chop off the ⌜.html⌝ extension of the name. That's hardly a 
dealbreaker (and the Info browser can offer to chop it automatically if you 
feed it a URL with a ⌜.html⌝ extension). And even that's necessary only because 
web browsers traditionally discard the pre-redirect name. As I proposed for 
Info browsers, the name isn't discarded; what's shown in the address bar is the 
pre-redirect name, so no conversion is necessary.