I used DuckDuckGo on my old phone and when I switched to GrapheneOS I just installed it for ease of syncing everything. Lately I've started using Vanadium and I really like it. My question is, is there a way to move all my tabs and bookmarks from DuckDuckGo to Vanadium? Or would it all have to be done manually?