Is Twitter's top engineer worth $10.3 million?