org-export-as-html has changed its arguments, adapting