{TASK] Convert one image from gif to png

The latex renderer cannot handle gif images and fails with
! LaTeX Error: Unknown graphics extension: .gif.
Convert the image to png for now.

Also remove an unused image, which would have the same problem.