Ma è comunque strano che l'estensione del file non si possa cambiare e rimettere a .json,ho fatto una prova e posso infatti cambiarla come mi pare,mi sa di quei vizi tipici di windows,a questo punto visto che non c'è molto da perdere,io farei una prova facendo una copia di questo file diciamo "finto-html",aprirla con un programma qualsiasi che te lo faccia aprire (blocco note,word,libreoffice) e risalvarlo come .json,il contenuto del file non dovrebbe essere cambiato se l'hai semplicemente rinominato con estensione html quindi i segnalibri dovrebbero essere ancora lì dentro.