Prune the manual more

We have had an increase in TBB size, and it's partly due to the manual.

We should remove webfonts because they are not even rendered (7.9MB uncompressed), there are not minimized JS and CSS, and we should see if we can remove some images.

We can remove what we don't need with the script that packs the manual (it just copies the static files).