[pbhjpbhj]

They seem like they might be parallel and unconnected etymologies -- https://en.wiktionary.org/wiki/bork#Etymology_2.

It would seem strange that a political etymology had a specific impact on the computing world. But the mistype of broken as "borken", and further mis-grammaring to borked would seem consistent with the humour of computing people IME.

The use in computer circles is also just one of "generally broken" (or utterly broken, perhaps) rather than "politically discreditted". I think they might be just coincidental homonyms.

Here's a [not particularly] interesting prior use: https://archive.org/details/Florida_Flambeau_1959/page/n221?... someone borked the pronounciation in Russian of beetroot soup ("borsht", Russian "s" is with a "c" shaped letter).