Where did Tidy HTML go?

I'm using 0.9.5 and can't find Tidy HTML. (Actually I can't remember which is the nasty one and which the mild one. I want the mild one.) Anyone know what's up? (I mean, I'm sure you do.)