Re: broken link in Overview: dl.kr.org

> please do not remove the link.  that has been the official description 
> logic page for as long as i can remember.  It appears that the entire 
> description logics site is down at the moment.  I am not sure what is 
> wrong but i am sending mail to the maintainer - carsten lutz.
...
> carsten - can you please help get http://dl.kr.org     back?

Being temporarily down shouldn't be a problem; we just need to know if
the maintainers are in fact planning to return it to service.  It
sounds like they are, but confirmation would be nice, yes.

      -- sandro