Condense the docs into fewer HTML files. Particularly useful since