[Prerender] Bug 22737: Add link type "prerender" to html5 spec

Arvind,

Regarding https://www.w3.org/Bugs/Public/show_bug.cgi?id=22737, the bug to add link type 'prerender' to HTML5.1. The suggested spec text states: "If the resource is navigated to, the user agent may replace the current browsing context with the one it loaded the specified resource in." If you replace the current browsing context, you will lose history. For example, the section on browsing contexts, http://www.w3.org/html/wg/drafts/html/master/browsers.html#windows, states that "A browsing context<http://www.w3.org/html/wg/drafts/html/master/browsers.html#browsing-context> has a session history<http://www.w3.org/html/wg/drafts/html/master/browsers.html#session-history>," I don't think we want a prerendered page to lose its history.

I think we may want to update that sentence to instead say something like: "If the user chooses to navigate to this resource, the user agent may navigate<http://www.w3.org/html/wg/drafts/html/master/browsers.html#navigate> the current browsing context<http://www.w3.org/html/wg/drafts/html/master/browsers.html#browsing-context> to the specified resource."


4.13.5.10 Link type "prerender"
The prerender keyword may be used with a link, a, and area elements. This
keyword creates an external resource link.

The prerender keyword indicates that preemptively fetching and loading the
specified resource in a hidden top-level browsing context is likely to be
beneficial, as it is highly likely that the user will navigate to this
resource. If the resource is navigated to, the user agent may replace the
current browsing context with the one it loaded the specified resource in.

The user agent may discard the browsing context corresponding to the
prerendered resource if any of the following is true:

- If the resource is not navigated to within a reasonable amount of time.
- If the user navigates to some other resource from the current browsing
context.
- If the link element is removed from the document.
- There is no default type for resources given by the prerender keyword.

Thanks,
Jatinder