Senza polemica, ma se avessi trovato soluzioni risolutive, non avrei aperto un topic. I forum servono per scambi di idee e reciproci aiuti, laddove possibile.
Comunque sia, la procedura per importare i certificati la conosco benissimo. Il problema sorge perchè non avendo l'estensione bit4.... in System32, caricando il file da altre vie, come anche suggerito in questo forum, Firefox andava in crash.
Ho risolto con:
Reinstallare Firefox (se andato in crash, ma comunque è buona norma).
Dopo andare in
https://www.pec.it/cns-desktop-reader-smart-card.aspx a destra cliccare "Driver smart/Sim card",
scaricare il file per il SO che interessa, installare il software e dopo, finalmente, procedere con inserire i certificati di firma bit4 ecc in "modulo PKCS#11", con la guida standard.