All those whiners that go to other platforms will be back. History shows that emotions take over, but then the person calms down and returns to the usual services, platforms, etc. How many whiners and alarmists were there when Microsoft acquired Github :) so what? everyone is back and happy.