I see people citing "bloat" as a reason to exclude a CSS editor from the customizer. But what's the actual impact of including it in core?

My gut reaction is that a simple CSS editor makes WordPress even more useful out of the box, and the performance impact would be negligible.