TL;DR: see this GitHub issue for summary (Dutch but the pictures there and Figure 1 tell the story). Somewhere around 1995, building my first website, it was already quite a feat to embed images. Non-aware of image-formats I played with (animated!) GIF and JPEG. Naively image-editing I noticed that my JPEGs became …