C.E. Evans wrote:
That's totally splitting hairs, because the terms "dock" and "port" have always been used interchangeably throughout history to describe any place where ships are moored.
I'd say Wikipedia
suggests otherwise, i.e. that a dock can be part of a port but a port is not the "lesser" part of a dock. "Spaceport" wouldn't exclude a dock, but "Spacedock" apparently excludes a port.
Another thought that came to me was wondering from where the raw parts for the construction of Starfleet vessels came from. Probably mined in the asteroid belt, Earth Spacedock could function as a storehouse from which the drydocks get their building materials.