Pairing on board rv style battery charger with a ctek ds250?

Hi all.
I am upgrading my sunlight electrical system and looking to retain the ability to charge my two golf cart batteries when/if I plug into shore power. My camper came with a charger converter like most traditional rvs that charges the house battery when plugged in, should I just run the wiring to the battery? Through the ctek ds250? Will charging the batteries independentlyrics of the ds250 cause problems? What can you say about https://ballisticparts.com/die-hard-battery-charger-troubleshooting/ I leave on the first quick help is appreciated