Using 3-letter month for human-readable date

Helps formatting on main web site.