If you try to use lossy compression on a dithered image it will increase the file size. Using dithering and saving in a compressed lossless format will have drastically different results.
Exactly, that was my point. That difference wasn't mentioned in the post, and you have to have some knowledge of how image formats work to realize why it's so.
