Oh, didn’t see this bug report and made one of my own. In the default hotkey setup, there are clashes between the upgrade hotkeys in the first page and those in the second page, so this is not a problem when testing with the default setup. Only when I gave all the techs different key did I notice this. That might be a reason why the devs might have overlooked this.