Take note of today's Obied-Ooguri-Spodyneiko-Vafa 18. Curious situation: After it had influenced much the development of the string theory community’s attention and almost all of its public media perception since 2003, after what must be thousands of followup publications, the argument of KKLT 03 for a large finite number of metastable de Sitter spacetime vacua of type IIB string theory is in the process of being abandoned for being plainly mathematically wrong. Apparently the decisive blow was the focused and comprehensive analysis in Danielsson-VanRiet 18 of all the available arguments, which concluded that all this work is based on a mathematical assumption that was never checked and for which there is mounting evidence that it is just false. If at the next social gathering smalltalk with your colleagues you need a good argument that physics does need mathematically airtight proof after all, you’ll have a monumental example here. What a waste of energy and time and of media attention! On the other hand, good to see that scientific scepticism is coming back, even if with 15 years of delay.