If I remember correctly Apple is fully adopting HEIF now on their new operating systems, it's even the default container, and probably saving HEVC bitstreams.
Yeah, you can control the lossless compression in PNGs, and as you said the only difference is the time to actually write it since you'll lose more time computing the compression. JPEG can look fine if you give it enough bitrate, 75KB was pretty random and in order to conclude anything half correctly we'd need to test a greater variety of images with different characteristics. So far I did test this same Yuna screenshot for 30KB, 75KB, 160KB, 250KB and 360KB.
It's still a single sample, so completely unscientific, but anyway:
Which clearly shows what we expect, the differences diminish as you increase the bitrate and at some point any of the video encoders (x264, x265 and libaom) would eventually reach something really close to transparency.
It's also somewhat important to remember most people on mpeg are also on libaom and there isn't really a codec war. Commercial devices are unlikely to get away from the mpeg codecs but AV1 should theoretically see some widespread usage in web streaming soon™.
And on top of that, VVC is being worked on and seems promising, even if HEVC hasn't completely replaced AVC yet.