Shrink details files

This shrinks `details/` from, like, 87MB to 16.7MB.