Remove useless time information from release date in changelog
The current version of the embedded JavaScript in the changelog page formats release dates as full timestamp text strings. Such string contains time information that is useless because it is always 00:00:00 (the time information is missing in fact). I've modified it to use only the date part of the timestamp.
Old string example (yes, it even adds the timezone name in its localized form):
Wed Oct 18 2023 00:00:00 GMT+0200 (středoevropský letní čas)
New string example:
Wed Oct 18 2023