Replace utility JS with section ID function in XHTML exporter.