FYI: extension https://chrome.google.com/webstore/detail/mgjjeipcdnnjhgodgjpfkffcejoljijf does NOT help with disabling F12 in Chrome :( DA