export function TechNames({ names }: { names: string[] }) { if (names.length === 0) return —; const label = names.join(', '); const visible = names.slice(0, 2); const extra = names.length - visible.length; return (