Tools can now reload plugins and drop extra directories that no longer apply.
What's wrong with this entry?
The context passed to tools now carries a way to re-apply plugins without installing anything staged, and a way to rewrite the permission context so additional directories that no longer apply are dropped. The latter is the counterpart to the directory re-homing done on set_cwd.
- Also in this refactor: the background-pending reference became a
gestureobject withclearPending()andpending; the input reference became adraftwith.value; and message and event application moved into the REPL query class.
retireDepartedAdditionalDirectories
Strings lifted out of the shipped bundle, so the claim above can be checked against them.