Updated UG HTML 4.2.10.
HTML files were generated by FrameMaker 11, and the file names were
drastically changed from the previous version, so old html was
renamed to html_4.2.9_FM71_WWP, and html now contains all the
new html files and CSS file.
In addition, FM 11 generated GIF files instead of JPEG. Perhaps,
there is a way to specify JPEG but for now, we keep GIF files.