It is unintuitive that the title of the section macro is normalized for HTML 5 and the ID of a marked content is not.
Use the same algorithm to construct the HTML 5 ID for both macros.