I was just joking (about the fact that a bot handles the "creative" work of writing the device driver while a human will do the repetitive work of reindenting)

I was just joking (about the fact that a bot handles the "creative" work of writing the device driver while a human will do the repetitive work of reindenting) (sorry, I should have used /s)