bug#40863: [PATCH] Improve the display-time-world UI

[Eli Zaretskii]

> From: Stefan Kangas <stefan@marxist.se>
> Date: Sun, 26 Apr 2020 10:56:03 +0200
> 
> -(defcustom display-time-world-buffer-name "*wclock*"
> +(defcustom display-time-world-buffer-name "*World Clock*"

Is this part really necessary? what if some application or user out
there expects the old name?

Thanks.