Dovrei testarle tutte e, come prima impressione, mi sembra che la terza estensione sia la più praticabile.
Io però ho intanto parzialmente risolto con il solito barba trucco manuale.
In altre parole me li sono spostati da un profilo ad un altro, semplicemente trascinandoli uno alla volta.
Poi, una volta che sono stati aperti nel nuovo profilo, li ho assegnati alle nuove cartelle dei preferiti.
Ci sono però volute ore per copiarne qualche centinaio, almeno quelli di cui avevo più bisogno.
Vi ringrazio per i suggerimenti.