I'm looking for a way to export my bookmarks as JSON and HTML on Firefox Android. Previously, I used to select them individually and share them in a batch, but that method is no longer working. I recall that there was an extension available for the p...