If you work with Linux, that's the right sim.
If you've the clear components to import the ZMK then you can proceed with the same ZMK and then import the ZPK under the ZMK.
Regarding the manual, that's Thales proprietary information and unfortunately I'm not able to assist further.