[quote=@DarkwolfX37]
What kind of pet name is Supernova? Is that her full name? 
[/quote]

It's a long-standing nickname. Her actual name is Rovnováha, nicknamed to Nova, which was then nicknamed to Supernova. So it's like a nicknickname. Not that that makes any sense, but still.