Setting and recalling user-specific devtools options