Is "half a billion dollars in yearly revenue" still synonymous with "half a billion dollars in funding from Google" or did they pivot? Are mozilla still trying to reimagine themselves as an ad tech company?