This project took a nap.
I found that I still have Brave-0.23.19.dmg (July 3, 2018) on my hard drive.
Will that make reclaiming my Brave Muon bookmarks (by copying them to Brave Core/Chromium) any simpler?
Just to be clear, this would be to import the bookmarks from Muon to the current standard release, not to Dev. If I did an import to Dev, I think I’d get too confused by the ‘tree’ structure, whereas my standard release version is a blank slate.
Or would it be better to use the method in your previous post (“Launch Brave, Main menu --> Bookmarks --> Import bookmarks and settings”… etc.)?