Hi Rick, besides Nicolas good suggestions regarding the code, I think the patch is good and I welcome more flexibility in the HTML exporter so that HTML5-ready derived backends can be written.
I'll have a careful look next week. One thing you may double-check in the meantime is: is it compatible with the org-info.js utility? The default should be "yes", even if users can replace "div" by something else (e.g. for the needs of specific backends.) In any case, thanks! -- Bastien
