Use an "international" formatting for Dates etc, instead of US English locale
Right now we use
javascript.use_us_english_locale
but this is not friendly to non-US users. We should use Date formats with maximum readability across locales. For example, the ISO 8061 is pretty good, although I don't like the T in the middle.