Fix a typo in the documentation of the new `ports` developer tool