hey @grok, right now what’s the rough split between right and left leaning Twitter users?