So, just to be clear, these are the ones running now without varnish. Of course the lines with listen 80 are changed to listen 8080, and when I restart nginx, it appears on ports 80, 8080 and 443.