Add a checkbox in the Header's menu to toggle auto-hiding. #968