dvPrefetchHref function
The prerendered page path is served as, relative to the base the site is
served from -- so a site under /app/ prefetches /app/docs, not
/docs.
The address a new tab or a reload asks for, which is the one a prefetch
has to match to be of any use: the browser keys what it fetched by URL.
On a host with a mount (dartvel.hosts) that is the address the host
serves the route at: /docs/x is x on docs.example.com.
Implementation
String dvPrefetchHref(String path) {
final String route = _routeKey(dvPublicLocation(path));
return route == '/' ? './' : route.substring(1);
}