Also, we should definitely not have HTTP_PORT default to 8888 now.