//! Event loop, resource loading, navigation, UI chrome.