Peter> Most of the actual content seems to be buried in javascript though.
Peeking at it, almost all of the useful content appears to be data. It doesn't seem like snipping it out and interpreting it as JSON would be terribly difficult. Perhaps no JS engine required. Skip -- https://mail.python.org/mailman/listinfo/python-list
