"But Björn, if you can't increase the charging current, what is the point of a bigger battery anyway?"
You're right. If we run the mower 24/7, then a bigger battery doesn't mean more time mowing per day, it just means fewer and longer charge cycles.
But that has value too. Each charge cycle adds time spent for the mower to find its' way back to the charger. It does this in several ways, but one fallback is to follow the edge line. If this is done often, it will cause visible ruts there.