Fixed bug #15537: Rename "Shortcuts" to "Bookmarks"