Hello, William Denton <w...@pobox.com> writes:
> Attached is a tiny patch to add mention of this variable in the > section of the docs where all those options are listed. Thank you. Would you mind using git format-patch for it and add a proper commit message? Also, wouldn't it make sense to use @vindex org-footnote-section in the paragraph above? Regards, -- Nicolas Goaziou