Sorry guys - one of the parsing scripts died and didn't get restarted automatically. Normally we would have noticed the problem earlier but we've been away at a

Sorry guys - one of the parsing scripts died and didn't get restarted automatically. Normally we would have noticed the problem earlier but we've been away at a conference this past week. The script is back up and the index should be up-to-date within the hour.