message: Meta: automatically deploy once a week
  More frequent updates are currently not necessary. There's always manual deployments for urgent bugfixes.
diff: @@ -6,7 +6,7 @@ on:
  # You can manually trigger a deployment on GitHub.com
  # https://github.blog/changelog/2020-07-06-github-actions-manual-triggers-with-workflow_dispatch/
  schedule:
  - - cron: '42 13 * * */4'
  + - cron: '42 17 * * 4'
  jobs:
  