The SEC still isn’t happy about Elon Musk’s tweets, but for now it’s not doing anything about them.