Move documenting serve_port to a global docker option