How does the 3 pin ground power connector (AN2551) work?
The key to how it works is best explained with the 3rd link in OP question: the short pin provides power for a relay switch, powered = closed. When pulling the plug out the short pin disconnects first, opening the switch which removes power from the plus (middle) terminal of the plug before it is disconnected from the counter-plug.