#4 change default lint hotkey for Windows to ctrl+alt+shift+8