‘drracket/tool-lib’ is undocumented

[gfbee]

“DrRacket Plugins” mentions both of

• drracket/tool
• drracket/tool-lib

but drracket/tool-lib is never used nor described in the rest of the documentation.

I've been requiring it from the DrRacket Interactions to launch a DrRacket while working on a tool. Is there something simple to mention about its behaviour and/or purpose? Is this comment from its implementation correct, and so a safe initial addition to the documentation:

This first time this is loaded, it loads all of DrRacket and invokes
the main unit, starting up DrRacket. After that, it just provides
all of the names in the tools library, for use defining keybindings

Is it then also safe to add:

Tools [will usually?] require drracket/tool.