However, there are no popular image formats that support dynamic pallets.
PNG and GIF both support indexed color with
adaptive palletes, and you can pretty much swap out the colors in the color map the same way you show in the video. GIF can use 1, 2, 3, 4, 5, 6, 7, and 8bit color. PNG can use 1, 2, 4, and 8bit color. Both also support transparency and gifs can be animated.