Trolling on the internet for fun has been a thing long before Musk, and will be a thing long after.