[PATCH htdocs 1/7] crush images

Shrink their sizes while maintaining their content by recompressing
and stripping unused metadata.
---
had to compress it to fit on the mailing list

 download.jpg   | Bin 1671 -> 1344 bytes
 faq.jpg        | Bin 1312 -> 983 bytes
 info.jpg       | Bin 1218 -> 886 bytes
 logo_big2.png  | Bin 973 -> 844 bytes
 mailing.jpg    | Bin 1902 -> 1580 bytes
 news.jpg       | Bin 1287 -> 960 bytes
 properties.png | Bin 49230 -> 36129 bytes
 7 files changed, 0 insertions(+), 0 deletions(-)