Segnalibri

Segnalibri ed evidenziazioni sono salvati in questo browser. L’esportazione crea un file JSON; l’importazione unisce i dati di un altro dispositivo.