shortening alexey solonsky to alex sol is quite ok and doesn't compromise and hide his personality
You know where is the list of the company's employees on the official Worldcore website?As far as I know it was there before, but I can't find it now.
