To download any of these images in GIF format, Windows '95 and NT users need
merely point to the image and click the right mouse button for a menu;
Macintosh users with OS 8 will get a contextual menu with control-click; with
System 7, by using some other procedure, depending on the browser.