Great work on the new exporter! One small point: as we're going to have to change the meta directive "#+STYLE" to "#+HTML_STYLE", can we change the name to reflect what it really does in the HTML backend, i.e. insert text verbatim into the <head> element? I suggest we rename it to "#+HTML_HEAD".
Regards, Sean
