Удалось наконец победить девтулзы в Симанки. Не отключить совсем, но отключить хоткей, который кто-то не в меру сообразительный повесил на Ctrl+Shift+I, который всю жизнь был за DOM Inspector. В итоге в броузере два инструмента на одном хоткее, и один из них, само собой, не работает. И поменять никак. Но таки нашлось расширение, которым можно отредактировать хоткеи. Вот оно:
https://addons.mozilla.org/...n/dorando-keyconfig/
Если верить ему, хоткеи по два раз на девтулзы зарегистрированы.