I have just upgraded from 18 to 20 and to Windows 10. Is keyboard customization still available? The help still reads, "The keyboard can be customized by selecting Customize Keyboard from the Tools menu." But I cannot see this option, and cannot set my familiar TCC shortcuts. I have tried reverting to the legacy console, but no difference.