[chaxor]

Instead of storing both pdf and source text, just store the source. The pdf is generated on demand, in whatever style you like.

Although, I had no idea PDFs were smaller than the input. I thought that they were substantially larger actually. But regardless, storing things twice is wasteful.