This is an example devtools extension