The last step of Pintree bookmarks exporter extension tries to download the json file by clicking an
a
element. This does not work properly on Vivaldi browser. It should be switched to
chrome.downloads
API.