fn render_key_picker(extra_keys: &BTreeSet<String>) -> MarkupExpand description
Renders a dropdown picker for well-known keys (plus any extra keys from
the current proposal). Picking a key copies it into the #add-key text
input and triggers its HTMX change event, then resets itself to “▾”.