These are supporting files for "classic" XDOC manuals.
See, for instance, xdoc/save-classic.lisp.
The GIF images here are also used in the fancy viewer.
