Oops hehe. The new names were generated automatically (randomly), so obviously the random number generator was in a good mood.
We will regenerate the names today.

Thanks.