{# NO HEADING OF ITS OWN. This panel is the BODY of the card core builds for a loaded tool, and that card's header already carries an icon, the tool's name, the key that opens it, an eye and an X. A second name and a second close directly under them was one tool announcing itself twice in a 300px column -- and the two X's did different things, which is worse than redundant. Core owns the header; this owns what a card cannot know. Same bargain the transcripts layer strikes, for the same reason. See views/toolLoader.js and views/cardList.js. #}