Slightly more considerate devtools warning

See #953.
Merge pull request #1993 from spicyj/devtools-warning-2

Slightly more considerate devtools warning