I grabbed one of the dithered images off the article and saved it as an rgb png and as an indexed png with 255 colors.

rgb: 75kb

indexed: 35kb

So indexing does look like it could save a lot. I do wonder if it can still beat out say jpeg or webp though.