Renaming a symbol pin meant removing it and retyping the full pin definition, which dropped its net attachments and no-connect flag, and swapping two pin numbers needed two edits with an invalid state in between.
From the Grok pain-radar digests, Oct 27-28 2026 (Oct 27 8:41 AM ET through Oct 28 7:41 AM ET digests plus the Haitch editions). Verified live 2026-10-28: issue/PR/thread read; title and state confirmed.