43KiB, though obviously a chunk of that is from the colors of the jpg Professor.
EDIT: I just noticed webp messes with colors around the edges too (which would matter more if I cut the resolution in half or so). The original .png (what I actually uploaded) doesn’t at 51.6KiB.
Also obviously this would be less data in non-pixel format (well, it’d likely be eaten up by overhead for packaging, though after that it would allow tons of art for negligible data cost)
43KiB, though obviously a chunk of that is from the colors of the jpg Professor.
EDIT: I just noticed webp messes with colors around the edges too (which would matter more if I cut the resolution in half or so). The original .png (what I actually uploaded) doesn’t at 51.6KiB.
Also obviously this would be less data in non-pixel format (well, it’d likely be eaten up by overhead for packaging, though after that it would allow tons of art for negligible data cost)