Annie: nick name or full name?

[GPU]

I definitely prefer it as a full name!