デクストはかつて何と呼ばれていましたか?

Dext の前の名前を思い出そうとしています。 名前が変わったのは知っていますが、以前は何と呼ばれていたのか思い出せません。