Shortening month names to help rendering

Using 3-letter month names helps the main web site render more cleanly.