// @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt

document.addEventListener("DOMContentLoaded", () => {
	// add default #overview route
	if (!window.location.hash) {
		window.location.hash = "overview";
	}
});

// @license-end