Okay, so as somebody with no domain knowledge, I have to ask: Are we not making the obvious Thor joke because we haven’t thought of it, or is it, like, everybody already knows all the jokes and if you make them you’re the guy at the conference that gets his lunch money stolen and his glasses broken?