Aaargggh. That is terrible news. There's a metric shit-ton of good stuff in CiteseerX. If the site is gone for good, I sure hope there's a plan to properly move all that content to archive.org so it can remain accessible. :-(