Did Elon Musk make an alt account named Adrian Dittmann to praise himself? What we know so far