The synchronization now works quite reliable. This closes #1. The remaining issues should be documented using their own tickets