A few thoughts on Russian nicknames