resToTopCheckbox.checked = sortFailuresToTop;
		sortFailuresToTopCheckbox.addEventListener("change", () => {
			sortFailuresToTop = sortFailuresToTopCheckbox.checked;
			runTests(); // ideally would only sort the failures, but that's a lot of work
		});
		const sortFailuresToTopCheckboxLabel = document.createElement("label");
		sortFailuresToTopCheckboxLabel.append(sortFailuresToTopCheckbox);
		sortFailuresToTopCheckboxLabel.append("Sort failures to top");
		document.body.append(sortFailuresToTopCheckboxLab