Yeah it was sorted out really long ago. But also it’s not like all these brand new from scratch Linux distros are choosing vanilla gnome. It’s the same big players as decades ago, and their derivatives.