Issue #17270: clarify that the section header doc convention is optional.
Issue #17270: clarify that the section header doc convention is optional.

jeff5/jython-devguide,jython/devguide,ezio-melotti/devguide,jeff5/jython-devguide,jeff5/jython-devguide,jython/devguide,jython/devguide