New version of devtools: 0.8