There is now a new, small drracket pkg called drracket-plugin-lib that provides just enough to be able to define a tool. So, if you have a package that has a drracket plugin, but doesn't necessarily need drracket itself to work, you can make it depend only on drracket-plugin-lib, and not drracket.
I made this change for some packages, but not for these, where it may be sensible to do so, but it seemed more like they really wanted drracket around: deinprogramm htdp-lib frtime Robby
_________________________ Racket Developers list: http://lists.racket-lang.org/dev
