synchronizing toolboxes

We don't guarantee thread-safety of the front-end, but everything else
looks good now.