Tiny locale-aware date/time formatting helpers used by the projects UI.
Unlike Calendar.strftime(d, "%b %d, %Y"), the output of these helpers
is safe to translate: the three-letter month labels and the surrounding
string template all go through Gettext.
The 12 month labels are intentionally listed as separate gettext/1
calls so the string-extraction task picks them up into the .pot file.
Don't collapse them into a map-based lookup.
Summary
Functions
Formats as Mon DD, YYYY at HH:MM. For DateTimes.
Formats as Mon DD HH:MM — month, day, and time only.
24-hour time string as HH:MM (locale-neutral).
Short 3-letter month name, translated (Jan, Feb, ...).