... perhaps Javascript in a header or an "include" sort of file, or RSS declarations that occur in a style sheet someplace else? ... hmmm ... might there be be some other occasional nonlocality to HTML rendering? ... but agreed, probably >95% of the time your local-source-view would be valuable ... ^z
but can some HTML be non-local?