website patch-2

This should improve load speed a little more.

We could convert the images to 8-bit; then the difference should be around another -310KB (~-60%).

Let me know if you want me to make a PR after this is merged with the 8-bit images to compare.

PS. How is "coverage.html" generated?