Okay the preferences.json… is so packed with stuff that we didn’t actually generate ourselves. So maybe there ought to be a second diet version that only contains things that we set ourselves when editing our preferences.
Actually Facebook, Google, etc. all allow users to pick and choose what stuff they want in the archive that will be produced. Some even have an index.html in the archive to make it “more friendly” than just a bunch of files.