Hello there. This is a dumb question - and you have likely answered it, so please forgive me - but I am intrigued by the names Airvpn gives servers. How are they decided? For someone constantly collecting sequences of letters for use as user names and p/ws, I stand in awe! [Am I correct in thinking they are names of celestial objects - stars, constellations, nebulae, etc?]