Weeks Start on Monday Again... Gnome Shell Extension
Secondary distribution site.

The Gnome Shell Calendar week can start on Monday or any other day of
the week.

Gnome Shell Extensions:
  https://extensions.gnome.org/extension/1720/weeks-start-on-monday-again/
GitHub:
  https://github.com/F-i-f/weeks-start-on-monday