However, it is a relatively simple thing to reorder manually by starting with the bookmark you want last, creating a new bookmark for it, and then working your way up the list. Delete the duplicates beneath, and there you go.

Time-consuming workaround for an obvious deficiency? Absolutely. But it does work.