Thank you for the pointer. Indeed we forgot to add this step to the documentation. Now it is mentioned here: https://docs.nitrokey.com/nitropc/qubes/index.html