This is a quick write-up of the dictionary file format, v7.
-v6 is troublesome as it relies on Java serialization and thus
-I won't even attempt to document it.
-This hasn't been checked for correctness and likely has some bugs.
+v6 is troublesome as it relies on Java serialization but is now
+also documented in dictionary-format-v6.txt.
+This hasn't been checked much for correctness and likely has some bugs.
Also, I really should have used some standard format for writing this...
===========================================
of the compressed data and signal the end of input to the
inflater, and whatever data the inflater produces is the
decompressed input (note: this might be an implementation
-detail, you might need the decompressed size to decompress
+detail, you might not need the decompressed size to decompress
and parse the contained data, but it prevents things like
the inflater overreading and producing spurious errors).