Get rid of the redundant "documentation" in the title.
Get rid of the redundant "documentation" in the title.

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