re: #416 reine.de.tout
DD - I think they have been defunded.
Now…but what if those stories had not come to light?