What did Dext used to be called?

I'm trying to recall the previous name of Dext. I know it has undergone a name change, but I can't seem to remember what it was called before.