GitHub repository: wqhjstudios/datetime-format
Description: Gnome extension which allows users to customise the datetime format on the status bar and date menu.