get rid of old port-number-based urls in example nginx config