@34a3cff1fb40

I've not followed Linus Torvalds in about 20 years. While I'm running Ubuntu on a headless laptop, I'm out of the loop on the current politics with Linux. I'll have to take a peek.