Use 8020 for a default port on server()
- Less likely to class with Django