Didier Verna writes: > I can convert the custom settings into a piece of init.el code, and we > could put it somewhere as a recommended (but I would prefer mandatory) > configuration for committers. Actually, I had in mind a filter on the repo. You know, like the way git bitches about it.