Update synchronization.txt