On Tue, Mar 6, 2018 at 3:20 PM Stefan Monnier <monnier@iro.umontreal.ca> wrote:

If you meant that "why wouldn't one make fixes/edits directly in Org's manual.org".. then that actually is the best way! :)