I don't remember when we switched to PNG files from GIF (or BMP) but maybe that's the good thing. Someone was like "HEY! PNG has transparency AND all the colors!" and that was it and people just gradually adopted it. PNGs downloaded as PNGs, GIFs as GIFs and BMPs as BMPs. Nothing tried to convert anything into anything. No cramming PNGs down people's throats.