verso icon indicating copy to clipboard operation
verso copied to clipboard
verified publisher icon leanprover

Reduce size of generated HTML

Open david-christiansen opened this issue 1 year ago • 0 comments

A recent blog post is 1.88 MB - that's too big!

It's time to look into deduplicating some of the metadata that ends up in the generated code.

david-christiansen avatar May 17 '24 09:05 david-christiansen