Re: necessary directories?

[dewar@gnat.cs.nyu.edu (Robert Dewar)]

heck, that's up to you, if you don't want it, chuck it. I have found it
fun to have around to show off to other people, and I know at least some
people who deleted it, and then wanted it back later, there is no way of
doing that, I was just pointing this out!