Version 5.2. Converted the on-disk files from compressed JSON to uncompressed binary. In addition to being faster to access, they're also smaller.