Might be more of a problem with the rush current of simple electrical kit I imagine, I’d like to think a charger would be smarter. Still if you are camping you are unlikely to be going too far so 13A would be fine.
You don't even get 13A on some sites, the max draw is 10A or even 6A, go over that & you've often got to phone someone to come & reset the hook up in the morning or at best go back outside to reset it yourself if it isn't locked, it's easy to trip those without having a car on charge, i've done it several times just by turning the microwave on for example. Plug the car in after a day out on some sites & if it tries to draw 13A you are without mains electricity until the next morning.
And then you have the annual horse event we used to attend every year, no mains availability for 7 days, you were running on a 120W solar panel there with the only 240v power source being a 6amp inverter running off a 230Ah leisure battery charged by those panels, that aint going to power a car along with giving you juice to keep the beers cold and 2 people have a shower every morning for a week.