Provide a way to close devtools completely.