SPICE prints a bracketed pin as SEL3_ and the import named pins by the printed port, so bracketed pin names came back wrong after a round trip, the third round-trip fix in this series.
From the Grok pain-radar digest, Oct 26 2026 (8:41 AM to 11:41 AM ET digests plus Haitch morning edition). Verified live 2026-10-26: issue/PR/thread read; title and state confirmed.