VSCode: How to edit keyboard shortcuts (change or disable default shortcuts)