Hello, Carsten Dominik <carsten.domi...@gmail.com> writes:
> This is a good change - I am also for merging it. Applied on master, since it introduces a syntax change. Tell me if you want it on maint anyway (or just cherry-pick it yourself). As for the move from #+OPTIONS: key:value to #+OPTIONS: :key value, I can provide a patch, but it will break export in many documents. A workaround would be to support both versions and document only the newest one. Regards, -- Nicolas Goaziou