<html-include>

This is how the DOM looks like at the DOMContentLoaded event (before inserting the content of <pre>).
Compare it against the raw HTML source.