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

  rewrite ^ https://docs.taler.net$request_uri? permanent;
}