So, I have had the two inverters working for three weeks now. Everything is perfect. The right hand inverter sometimes shows the voltage 0.1V higher than the left hand inverter, but then, they only display increments of 0.1V, so I imagine they are often, say, 46.16V on one, rounded up to 46.2V, and 46.14V on the other, rounded down to 46.1V. Absolutely no problems with either inverter 'working harder' than the other, just as I predicted. I got 9.23kW at one point yesterday, not bad for a 12kW array at the end of February in the U.K.!
The whole system is working like a dream, I control everything from Solar Assistant. My new Motorola e13 phone, which cost £70, runs Solar Assistant really well, much better than the Victron Gerbo, or whatever it's called.
I also have Solar Assistant running on both my PCs, via a browser, so wherever I am in the house, I can see what the inverters are doing, and how much charge the batteries have.
My three Pylontech US5000 batteries are wrapped in a hot water cylinder jacket, and I have two heated pet pads between them, so I can raise the temperature. These worked well too, when the inverters were first turned on, the batteries were under 10C, so I used the pads and raised the temperature to 30C after several hours (I can't remember how many, no more than 12, and solar output was bad for days after first turning everything on, so charging the batteries at such a low rate wouldn't have warmed them anywhere near as quickly.)
Any comments from the purveyors of doom and gloom?