how do you get the name of a dictionary?

[Fredrik Lundh]

Steve Holden wrote:

> Right. Plus it's fun to imagine the effbot hitting itself as hard as 
> some people would obviously have liked to hit it in the past :-)

you mean the guy who's spent the last six months downrating every single 
post I've made on this list over at googlegroups ?  I'd say it's safe to 
ignore him; he's a certified nutcase.

</F>