Format on save for json (editing server settings file) gives tab indent size 4 even though other jsons (e.g., local settings.json file) uses tab indent size 2.