 / total * 100)}% failure rate${failed ? `, ${Math.floor(falseNegatives / failed * 100)}% of failures` : ""})`;
				document.body.prepend(summary);
				summary.classList.add("summary");
				summary.style.whiteSpace = "pre";

				document.documentElement.classList.remove("wait");
			}, 100);
		}

		let randomMode = false;
		let sortFailuresToTop = true;

		const randomModeCheckbox = document.createElement("input");
		randomModeCheckbox.type = "checkbox";
		randomModeCheckbox.checked = randomMode;
		randomMod