a custom devtools extension