To the org-mode maintainers (all praise and thanks to them, incidentally): Is there any chance that this can be made into a per-file configuration #+OPTION? No doubt the publishing approach suggested by Rainer (thanks also to him for suggesting it) would work, but it would take some effort to get it set up; I've looked into publishing on previous occasions and concluded it was easier just to do a simple HTML export. Other things being equal, #+OPTION options would be easier for non-expert users such as me to work with, than fiddling with the .emacs file.