The whole contents of this page is stored as a constant HTML string in the Rust source code. The code queries the DOM, creates a new element, and applies this snippet of HTML to the element's innerHTML.