Returns the abbreviation of the month of a date. If no argument is given, then the current local date/time, as returned by date:date-time is used as the default argument. The result is a three-letter English month abbreviation: one of 'Jan', 'Feb', 'Mar', 'Apr', 'May', 'Jun', 'Jul', 'Aug', 'Sep', 'Oct', 'Nov' or 'Dec'.
month-abbreviation($date-time as string?) ➔ string
The input date-time