No more "devtools" config file
Corrections