function toShortDate(oDate) {
		return oDate.getFullYear().toString().padStart(4, "0")
			+ "-" + (oDate.getMonth() + 1).toString().padStart(2, "0")
			+ "-" + oDate.getDate().toString().padStart(2, "0");
	}
@param {Date} oDate The date to format
@returns {string} The formatted short date. E.g. 2023-05-23