Thank you, Brad! I think this solves my sleepless worries; I’ll record with the XLR adapter set to CH1 from now on, when I have two microphones connected.
I just got confused because when I attached the camera to a (cheap Indian) Samsung television, all I could hear was audio from one of the microphones, not two of them at the same time.