Correct. Servo output power is completely isolated from the receiver
power. That includes ground.
Vrx (servo positive volts) is isolated from Vcc. It can be conencted
through the holes marked PWR
The receiver ground is connected to the processor ground.
Yet another addition to the getting started docuement
Matt