[derev]

I've tried all of the 'dict.org' list of servers and none respond (eg dict.org, dict.us.dict.org, dict0.us.dict.org, etc.). Did they change the port # or am I doing something wrong?