Very interesting, thanks for the write-up!
Just as an aside, but you also noted it yourself
I thought PNG was inherently lossless but the pngquant tool proves there is a lossy compression algo.
PNG itself is lossless, it's just that pngquant "manipulates" the image to be better compressible.
And I didn't know about DjVu at all, that's really good to know!
