Wendy Carlos at the DNC?

A reader sent this along:

Didn’t Wendy Carlos (Switched on Bach, The Well Tempered Synthesizer, A Clockwork Orange, etc.) sing / preform the National Anthem at a DNC? I think it was one of the Jimmy Carter Conventions which would be 1980 or 84. There was a bit of an uproar since the Convention Program listed . . . her former first name . . . but out came Wendy.

Can anyone confirm this?