Reading through all this with little background expertise, but accepting the arguments at face value, I am led to wonder if the most natural conclusion isn't, as D-VR 18 say, that "string theory conspires against the existence of dS space," but rather, that the existence of dS space conspires against the usefulness of string theory. And similarly, rather than concluding "string theory has not made much progress on the problem of the cosmological constant during the last 15 years," it is perhaps more tempting to conclude that string theory is not the right course at all, when deSitter space seems to have much more going for it. I realize D-VR 18 are not trying to conclude anything beyond what they can show, but it still seems to me that the language used is placing string theory on a kind of pedastol, such that we should blame KKLT 03 for being careless and wasting 15 years, rather than blaming string theory itself, and using the KKLT 03 affair as a very productive means of helping us decide to try something other than string theory (or at least type IIb string theory, I don't really know the alternatives there). I'm saying that if it took the analysis of the last 15 years to understand that string theory is a red herring for understanding inflation and/or dark energy, then that may be the most significant discovery in theoretical physics in that timeframe. When everyone is doing something, the most constructive possible thing is to find out as quickly as possible if they should be doing something else!