Using 3-letter month for human-readable date

Helps formatting on main web site.
Merge pull request #1 from gvwilson/patch-1

Using 3-letter month for human-readable date