Not interesting to anybody, apparently. But I shall put down my findings so far for posterity, and perhaps once again seek your indulgence to find answers.
The two phase "PFC" is actually a rather neat isolating flyback, using a UCC38060 for PWM. With two separate 'coupled' inductors, aka transformers, it puts out up to 660W of dc at 52.5V (sic). No synchronous rectification, just STTH's to do the job. Regulation is in the secondary part, using three paralleled TL431's, two of which are identical and are indeed set up for exactly 52.5V. Perhaps some funny redundancy to prevent overvoltage. The third is more complex, but does not influence the setpoint of control. All three feed into just one optocoupler(PC817).
So I changed the dc bus caps to 63V 1800uF×3. I also added a zener follower to limit the voltage to the auxiliary switcher 2576, to 37V.
There are no further stepdown converters after the 52.5V bus! There are two more mosfets on the heatsink, yet to understand what they do. No more inductors or rectifier diodes.
The charging control by software seems to work as should. So does the pretty display.
I just can't fathom how to charge a 12 or 24V battery from a stiff 52V bus without further conversion. I tested with a 12V 10Ah battery for a few minutes, and it works! Can anyone?
Edit: Horrible oversight on my part - failed to notice huge inductor with twisted wire 10AWG winding. Straightforward stepdowner after all.