User blog comment:Ralok/new theory/@comment-160529-20120905172743/@comment-4616231-20120905200714

I don't see why they'd need to give Tex a new name. She already had one.