I can reproduce this bug. As a temporary workaround, I found out that scrolling to the top of your bookmarks and then moving the mouse pointer to the right displays the tools and help menu.
Nevertheless, this is a bug.
I can reproduce this bug. As a temporary workaround, I found out that scrolling to the top of your bookmarks and then moving the mouse pointer to the right displays the tools and help menu.
Nevertheless, this is a bug.