I would also like to know.
I’ve found that these menus are not removed when switching themes, and I would like the ability to copy a menu from one blog to another. Of course you run into issues with post ids being different, but, the page titles will likely be the same if you’ve copied the database.