Synchronization between devices


#1

The long-awaited feature, see the GitHub issue for more details: