<div dir="ltr">If you feel strongly about this and want to change it to zero, be my guest. :-) <div><br></div><div>I personally don't see any value in an additional comment. </div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Mar 2, 2020 at 2:43 PM Davide Italiano <<a href="mailto:ditaliano@apple.com">ditaliano@apple.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div style="word-wrap:break-word;line-break:after-white-space"><br><div><br><blockquote type="cite"><div>On Mar 2, 2020, at 14:35, Jonas Devlieghere <<a href="mailto:jonas@devlieghere.com" target="_blank">jonas@devlieghere.com</a>> wrote:</div><br><div><div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Mar 2, 2020 at 2:28 PM Davide Italiano <<a href="mailto:ditaliano@apple.com" target="_blank">ditaliano@apple.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex">You might want to consider removing it entirely instead of commenting it, unless you find some value in keeping something that’s already stale around for the future (e.g. re-enabling).<br></blockquote><div><br></div><div>If you take a look at the rest of the file you'll see it's consistent with other options that are disabled. I believe this is the Sphinx default. It also communicates that this is disabled on purpose and not just an oversight or option added in a later version. </div><div> </div></div></div></div></blockquote><div><br></div><div>Then you might consider setting the version to 0 or to the current version. And adding a comment explaining this has no semantic value associated.</div><div>Leaving a stale version is confusing for somebody who opens the file, e.g. me.</div><div><br></div><div>—</div><div>Davide</div></div></div></blockquote></div>