Checkmk Werk 11256: Extension API change: html.header and html.top_heading require breadcrumb argument