they're .jpg, so they're smaller files than they would be if just bits of .gif
theoretically
(0800221155 Coldseal windows, Tue 2 Jan 2007, 20:00, archived)