Bruno, What I don't understand with your proposal is how this magical url vs. file bit is known. For example, if someone runs Henri's validator in Emacs, it seems to me that next-error is going to have heuristically guess whether it is a url to know how to interpret %'s.
Anyway, this decision seems like a judgement to me, not something that can be considered provably better. And rms is the one whose judgement counts. I'll write him about it unless you want to do so. karl
