Gimp es un editor de imágenes de código abierto que se instala por defecto en una instalación convencional de escritorio de Debian Stretch. Sin embargo, existe una funcionalidad, guardar para la web que no se instala en esta instalación por defecto por lo que no nos aparecerá como opción dentro del menú archivo.
No hay mayor problema porque este plugin lo tenemos disponible en el paquete gimp-plugin-registry. Así que lo solucionamos fácilmente abriendo un terminal y escribiendo como root:
#apt-get install gimp-plugin-registry
Cerramos Gimp, si lo habíamos dejado abierto durante la instalación del plugin, lo abrimos de nuevo y ya nos debería aparecer la opción guardar para la web en el menú archivo.
Y ya podemos seleccionar las opciones que más nos interesen en el asistente de guardar para la web:
Particularmente puedo decir que este plugin me ahorra bastante trabajo.