HomeSoftware Heritage

docker/nginx: use standard port 80 in nginx's container