7fd5b22e3b
… and it's good to let people have their own local configs that won't be tracked by git.
… and it's good to let people have their own local configs that won't be tracked by git.