Thanks @Pawan for replying. There is one error for sure, the Complete Registration button in a new user email does not work (because the link is to http://dalescott.net/… instead of http://dalescott.net:8080/…).
Can you confirm if “bench set-nginx-port erpnext.vm 8080” is the correct way to change the port ERPNext is served on? Will ERPNext then change links in emails accordingly? If so I will try this and report the results.