Slightly more considerate devtools warning

See #953.

cc @pamelafox