Actually agree with first two Posters. Providing the choice natively would make sense?
If admin has included Bookmarks discovery in the Top Menu setting in basic setup then to me it’s logical to include it in the user interface options? The two lists should be identical?
PR welcome?