[plt-scheme] incredibly useful PLT planet source search broken?

>> I went looking for a planet package that would take inexact numbers 
>> and return their IEEE hexadecimal representation (yes, it's probably a 
>> three-liner in MZ internals).  A search on the planet main page didn't 
>> help, but I figured that your full-source-search engine would be just 
>> the ticket. Unfortunately
>>
>> 1) it's down, and
>> 2) it's incredibly hard to find.
>>
>> Can you rectify the first of these? 
> 
> Sorry, not easily.

I forgot the servlet still runs (on very old data):

     http://www.scheme.dk/search-plt/search.ss

The generated links is to a now retired server
(I didn't have space enough on the web-server for
all the PLaneT source code), but you can get an idea
of how it works.

-- 
Jens Axel Søgaard