Werkzeug für die Bearbeitung von Bildern für Web-Graphiken, u.a. für animierte GIFs von der Firma Adobe.