Sort Docker ports for consistency's sake.