Double-encode (htmlspecialchars) the key name on display, so it may be copied correctly