I can't find the source for KRPC.IO.Ports in the kRpoc source tree. It appears the Bazel build is pulling it from the ksp Game data directory.

Shouldn't the source be in the kRPC git repo for completeness?

The source is in this repository: https://github.com/krpc/krpc-io-ports