> To avoid any long discussions, how about the main dev team (myself,
> Darrell, Slavek, and you) simply cast votes on this one-time override?
> My vote: switch to compton-tde as the official compositor, but do not
> disable or delete the kompmgr sources until the next release after R14.

Hi Tim,
I understand the reasons why you added compton-tde.

I am not an expert on compositors. From a release point of view, I would prefer a more conservative approach, to avoid introducing potential new bugs just a few months before a major release that could affect TDE reviews in a negative way.
We should consider releasing v14.0.0 using kompmgr as the official compositor, but keeping the compton-tde code in the repo and plan the switch for v14.1.0, so we will have enough time to test compton throughly.

Anyhow, if you think that compton-tde is stable enough to be used as the official compositor, I will second your thoughts and agree with its inclusion, because you have already done a lot of work on it and because it is going to take at least 3 months before v14.0.0 is ready, so there is still time to fix eventual small problems. But if we start to see several new issues, we should consider reverting to kompmgr for v14.0.0, as said above.

On a side note, IMO between here and the v14.0.0 release date it would perhaps be better to discuss all together in advance if we have other major changes in mind.

Cheers
  Michele