Love this aesthetic.
I suppose this dithering would decrease PNG file size somewhat, because it would increase the number of repeated pixel subsequences, improving the efficacy of the Huffman coding. But has anyone actually done an analysis of how much?