from what the dev quoted it sounded like they would stop mining it if it was hurtting the network
You may well be right. The important thing is that they've stopped mining us for now.
They are still extracting 42% of the blocks.
42% of the last 100 blocks. It should gradually go down as new blocks get mined. Will have to keep an eye on it though.
Edit: Just went over to TMB. You're right, they are still mining it, just with less hash. *shrug*