Improved the wording of the search box's placeholder text.
Implemented support for Google Analytics's asynchronous snippet.

See: https://developers.google.com/analytics/devguides/collection/analyticsjs/advanced
Hid some superfluous functionality for single-page HTML builds.
Customized the HTML page title format in HTML manuals.