Notice the "Satire" tag. And if you're curious about what editor Linus actually uses: https://plus.google.com/+LinusTorvalds/posts/iySKQGtkmtb https://plus.goo

Notice the "Satire" tag. And if you're curious about what editor Linus actually uses: https://plus.google.com/+LinusTorvalds/posts/iySKQGtkmtb https://plus.google.com/+LinusTorvalds/posts/iySKQGtkmtb