function set_default_checked(element, checked) {
	const existing_value = element.checked;
	element.defaultChecked = checked;
	element.checked = existing_value;
}
Applies the default checked property without influencing the current checked property.
@param {HTMLInputElement} element
@param {boolean} checked