I always thought “borked” was derived from “borken”, the early 1960s era humorous mistyping of…

I always thought “borked” was derived from “borken”, the early 1960s era humorous mistyping of “broken” within the MIT hacker community. (While ESR doesn’t give a date or etymology, this entry goes back to the original Hacker’s Dictionary, which was compiled in the early 60s.) I never knew about this second, politically-charged meaning!