Are there any preferences for and against including the menu item name in the top bar menu by default?
There is now a new settings for selecting the desired behavior (available in v10.1.4 in stable and master branch now), the default is to hide the text but I think it should be visible as otherwise its not clear for new users what the icons are…
With text (+ responsive behaviour that hides text on small screens):
$show_menu_titles = true;
$show_menu_titles = false;