Keep simple configuration synchronized between editors, in order to hopefully keep diffs to more interesting changes.