mod for experience gain in the campaign.

to be honest, I don't know. Since the button is missing from the interface, we need to figure out where this is configured in the map's properties tree, and then we can do it... but tomorrow or the day after, I'm too tired, I'm going to sleep.