more tweaks re: devtools options settings