keyboard and usb-c

[irongarment]

Ok, but in the keyboard manual it says this:

You should charge the PinePhone and the keyboard only using the USB-C ③ port on the keyboard. The
keyboard’s USB-C port cannot be used for peripherals. The PinePhone’s USB-C port remains operational
when mounted in the keyboard and can be used for data and peripherals.

Which is what I would have expected.