HTML compression

1. Clone the theme docs repository.

   The theme docs configuration does not exclude vendor/, because that would disable the layout vendor/compress, which is needed to activate HTML compression.

2. In the root directory of the clone, run:

   bundle update
   bundle exec jekyll build
   

3. Check that index.html has been compressed.