some more devtools improvements: make clear button work in newer versions, actually...