A1987dM comments on Problematic Problems for TDT

[A1987dM]

I was. I should have linked to it, and I have now.