That's the second thing that came to my mind.
The first is in 517a4b4, but it's not working much atm - I'm apparently trying to delete something that I shouldn't.