Was this a Red Hat priority? Then Red Hat can complain about how their priorities are not being met despite them funding this project.

I mean, this is a worse argument. It’s saying “How dare you not volunteer your free time or paid time to meet my priorities even though it’s not your priority or the priority of the people who are paying you”.

The RH desktop group is a small team in absolute terms.