funcionam. se pusesse ```'$profile_url'``` e ```'$user_id'``` geraria no Mixpanel o seguinte ```User Id``` ```Profile Url```. É preferível ler, no Mixpanel tal como explicitei lá ```User ID``` e ```Profile URL```