If only HTML had a locale-aware <time> element with custom date formatting :(