Bug on Google File Download page

Heads up Moles - If you've been searching our very, very long file list on the Google Code site, you might have noticed that "search" acts strangely over there. (Strange that Google Code would have search issues...but anyway...)

Today I turned in bug #5211, for some odd behavior in the way search results are returned for (in this case) the keyword "Debian".

Hopefully they'll get back to me soon; I hope this is not due to our very large number of files. That has broken our page at Google Code before.

UPDATE: Fixed. It was something about re-indexing our list.