Refer to the Motherboard (MB) or Development Board (DB) schematics and PPM schematics.
TXD_MHX & RXD_MHX (and the other _MHX signals) are directly connected to the MHX socket, and operate over ([PWR_MHX, 0V]).
When the MHX is ON (-ON_MHX active) and the MHX level shifter/isolator between the PPM processor and the MHX is enabled (-OE_MHX is active), then the Tx and Rx pins from/to the PPM processor appear -- level-shifted from [VCC, 0V] to [PWR_MHX, 0V] -- at the MHX. This is how the PPM processor drives the MHX directly, given that they can and normally do operate at different voltages. You can see this in action in the Test\Test1 example application. Similarly, the various flow control signals (HS[5..0]) make their way from the PPM processor to the MHX through these level shifters / isolators. These level shifters achieve zero-=power isolation across different voltages.
Therefore, the answer to
Are the pins H1.17 and H1.18 connected to the H1.39 and H1.40 respectively?
is
No, at least, never directly.
So, why are -RST_MHX through RXD_MHX on the CSK Bus? They're there so that another processor (with signals running at [PWR_MHX,0]) can talk directly to the MHX. To do this, PWR_MHX must have ... wait for it .. power

, and the isolators on the MB should not be enabled -- this latter condition is controlled entirely by the MB, whereas the former can be done by either having the MB force -ON_MHX active, OR by feeding PWR_MHX directly via the CSK Bus.
IOW, the CSk architecture has ways for a PPM processor to talk to the MHX, or for something on the CSK Bus to talk to the MHX, or even both, if the user arbitrates it all ...