New option `org-export-html-headline-anchor-format'.