Ihor Radchenko <yanta...@posteo.net> writes: >> Do you know other options I need to skip ? > > No idea :) I had to dig the list archives for this one. > It is case-by-case consideration.
Practically speaking, you can just change all the options, as we discussed. But only update the manual for options already discussed there. Adding/removing an option to/from the manual is a separate topic. -- Ihor Radchenko // yantar92, Org mode maintainer, Learn more about Org mode at <https://orgmode.org/>. Support Org development at <https://liberapay.com/org-mode>, or support my work at <https://liberapay.com/yantar92>
