Re: Correspondence between web-pages and Info-pages

[Stefan Monnier]

> Don't overlook two important parts of this: using the same name both for
> user input and for display,

That's good, yes, but is a UI issue which can be fixed regardless of
Info-vs-HTML-vs-whateverelse and regardless of which kind of names
we use.

IOW it's unrelated to the discussion at hand.
You can just `M-x report-emacs-bug' and you/we can fix those issues.

> and using different names for different formats
> of a page (Info vs. HTML).

No: I specifically don't want to use different names for different formats.
Instead I want to use a single name that works both in your web-browser
and in Emacs, and that gives the best experience possible in both cases
(i.e. in a web-browser it needs to be HTML, and inside Emacs it would
have to be Info for now and maybe some HTML-Info in some future).


        Stefan