Oh and the last commit changed the name of the `show_header_navigation ` setting to `show_header_menu` and this implements that