[Feature request] Revision History list: Change the date format to show the month name

• I agree to follow the Code of Conduct that this project adheres to.
• I have searched the issue tracker for a feature request that matches the one I want to file, without success.

This is a superb diagram app, one of the best I've ever used.

The Revision History list is shown when a diagram is linked/saved to an online storage service like Dropbox or Google Drive, and then select File -> Revision History. (It's a version history.)

The problem

• The problem is that the dates are shown in a generic "dd/MM/yyyy HH:mm:ss" format, like "19/08/2025 17:42:04".
• It's difficult to read and interpret these dates when only numbers are used.
• If the displayed date was "04/05/2026 17:42:04", we cannot tell if that means 4 May 2026 or 5 April 2026. There is too much ambiguity, and it's not obvious.
• Additionally, the lack of a comma between the date and the time makes it more difficult to distinguish between the date and the time. So it's not a user-friendly format.
• There is no way to customize this date format to suit the user's preference.

A possible solution

Is it possible to show the Revision History dates in a different format that's clearer?

• I would prefer to see the dates formatted like "d MMM yyyy, HH:mm:ss", like "19 Aug 2025, 17:42:04".

• Even better solution: If possible, the datetime format should be customizable, from a list of about 10 options in the 'Extras' menu:

"dd/MM/yyyy, HH:mm:ss"
"MM/dd/yyyy, HH:mm:ss"
"d MMM yyyy, HH:mm:ss"
"MMM d, yyyy, HH:mm:ss"
"dd-MM-yyyy, HH:mm:ss"
"d `de` MMM `de` yyyy, HH:mm:ss" (Spanish)
"yyyy년 M월 dd일 HH시 mm분 ss초" (Korean)
"yyyy年M月dd日 HH時mm分ss秒" (Japanese)
"yyyy年M月dd日，HH:mm:ss" (Chinese)
"dd. MMM yyyy, HH:mm:ss" (German)