Microsoft Edge supports history synchronization and open tabs across devices