Lock Screen Panel: Date and Time Format

OS: Arch Linux Xfce Version: 4.14 Xfce4-Screensaver Version: 0.1.10

The lock screen's panel seems to use a hard-coded format for the date and time string, merely translating the day's and month's names. This clashes with non-en_US formats / locales (e.g. I have set nl_NL for LC_TIME, and pretty much every other locale variable save LC_MESSAGES and LANG). While "September 11" is correct in [U.S.] English, it is not so for other locales that do not use MM/DD/YYYY as their date format.

Is there a chance a setting to override this can be introduced (be it in xfce4-screensaver-preferences or 'hidden' and only available through xfce4-settings-editor) ? Or otherwise use the actually set locale / format (i.e. LC_TIME) to determine the proper format?