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