Disable-devtool: Disable web developer tools (github.com)

Quite a terrible idea to be honest.

I was confused by ineffectual demo page - turns out uBlock Origin Lite includes filters thwarting this.

[flagged]