use django.utils.dates.MONTHS_3 for short month names