Thanks for the fix. But, how about the Bookmarks Manager? The documentation still mentions it three times, despite it is now called Library.
Thanks for the fix. But, how about the Bookmarks Manager? The documentation still mentions it three times, despite it is now called Library.