MacOS Mojave 10.14.6 does not support multiple keyboard collaboration
OK problem solved. After installing Karabiner (originally to solve the caps lock delay), I found I can work on two keyboards at the same time. The version I installed was 11.6.0.