#13808: fix a link and specify the IRC server.
#13808: fix a link and specify the IRC server.

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