On the closing of the DrDeth Pit thread

[Miller]

@BigT

I say let @Miller make the decisions for the Pit…

Cool. My decision is that what What_Exit? did was fine.