server {
  listen 80;
  listen [::]:80;
  server_name docs.taler.net;

  rewrite ^ https://$host$request_uri? permanent;
}