Is there a way for people to have some local config that doesn't need to be a shared setting and won't mess with git tracking? I am specifically wondering about font size, which is stored in the config but is not a setting that needs to be shared.