If you are switching from an old PC to a new Mac (or moving to Firefox/Edge), you need to your bookmarks into a single HTML file.
