Rename GitHub account from prof3ta to robertoaloi.