Fix minzipped size in docco.