Syncthing: code format tweaks