I was unable to find a way to save the config after changing it via a hotkey outside of the settingsmenu

To make it save I used

(ConfigManager<ModConfig>) AutoConfig.getConfigHolder(ModConfig.class).save();

But I am relying on the internals of AutoConfig there which I would like to avoid.

Something like getConfigManager or having save in the ConfigHolder interface would be great for that, if this is something you would accept I could also Implement this as a pull request.