Is it true that CPP-owned Tencent is a primary investor of Discord? If true why is anyone using it? Is it because it's free?