There are not from extensions, these are from the built-in dev tools (thus the devtools in their path).
