I think a more relevant front page link/summary would be that the open-source AV-1 codec has reached the v1.0.0 milestone (18 days ago).
https://aomedia.googlesource.com/aom/+/refs/tags/v1.0.0
https://github.com/AOMediaCodec/av1-spec/releases/tag/v1.0.0
Though obviously other encoders (and decoders) are available for the AV1 format. I think for individual encode enthusiasts the old libaom codebase is still the goto, but if you are Facebook or Netflix you probably want to be looking at SVT-AV1.