Fix Pygments version info in /about page. Closes #6366.
(patch by osimons)
Authored by: cboos 2007-11-19
Parent: [r6165]
Child: [r6167]