{# NO HEADING OF ITS OWN, and no close: this panel is the BODY of the card core builds for a loaded tool, and that card's header already carries the name, the key that opens it, an eye and an X. See views/toolLoader.js. Nothing is lifted into that header. Import, export and save act on the whole region set, but they are the END of the workflow this panel reads top to bottom -- tool, category, regions -- so they sit at the bottom of the body as a row of small pills, the way the image layer card carries its opacity and channel-names controls. A `data-tool-extras` div would have put them above the title instead, which is where the eye finds them first. #}