A demo Differential Sync server