Newest version has a widget you can add to the toolbar that will over-ride the tools.
To explain tools… I have no definition and the purpose was to create just another place to add information. The default “tools” as you may see, are merely windows/linux commands to show people how to use copy and paste, etc. since this is a Wiki like theme I figure most wikis have a lot of information that peeps may want to copy, hence the hotkey tool tips.
Once you add you own “information” in the Customizer it will then over-ride the default tools. I might suggest things like
– an event list
– books ref.
– links (may need to change html support)
– Steps to take in a process
– address and phone numbers
– facebook twitter links
– chapter Reference <- good one for a wiki
So have at it your way. If you have trouble making links with the Customizer then you can use the new widget as a Text Widget which in WP 4.8 now supports visual Editor.