// Tiny DOM-builder helper shared by the dashboard and the per-agent UI — // both packages built their own copy independently; this is the merged // canonical version (dashboard's, which had the extra `data-` branch; // functionally identical to the `class`/`html` handling either package // used). // // `el(tag, attrs, ...children)` creates an element, applying `attrs` as // either the `class`/`html`/`is` special cases or plain attributes, and // appending `children` (strings become text nodes, `null`/`undefined` // entries are skipped so callers can inline conditional children). // `is: 'custom-name'` creates a customized built-in element (e.g. // `el('button', { is: 'hive-btn' }, 'label')` → `