I don't think we can treat HREF="#foo" as an optional optimization.
Consider a URL whose content updates continuously, returning
completely different HTML text each time you retrieve it. Within a
document with such a URL as base, HREF="#place" should still refer to
the _current_ instance, even if following a link to HREF=".#place"
might retrieve a new instance.