No tool could change one pin of a KiCad library symbol; renaming a pin meant deleting the symbol and recreating it with every pin. De Morgan symbols make a pin number ambiguous unless body style is given.
From the Grok pain-radar digests, Oct 28-29 2026 (Oct 28 8:41 AM ET through Oct 29 early-morning Haitch editions). Verified live 2026-10-29: issue/PR read; title and state confirmed.