So...yeah. Looking at file size, it clearly beats older 264 or even 265. I don't mind if my server is going to have to transcode for most clients, I think the size difference in size might be worth it. But not sure which groups I could focus to look for these AV1 releases, seem they're quite scarce still?
There would be quality loss from transcoding lossy formats to lossy formats. OP would have to prefer the highest quality, and transcode after download.