Would it be possible to have a customizable date format? If not fully custom (as in "provide your own string to be forwarded to PHP's date()"), then at least being able to choose from several pre-defined formats?

Or, at the very least, a 12h/24h clock choice.