Add basic menu_label= manually (GtkBuilder option seems to have no effect,
only populates tab_label= with child widget.)