This is an old revision of the document!
It is common for a camper to have different house battery charging sources:
Some solar installs will even have separate charge controllers running their own panel[s].
So what happens when multiple chargers are running at the same time?
Nothing dramatic, as it turns out.