devtools

0234cb66 - Fix pubignore instructions and update extension example app (#6472)