Make sure that we're using the same settings.json to avoid unnecessary commits based on editor differences.