That was a bad joke. #HEIF and #AV1 is patented to hell and beyond, nobody in their sane mind would use it for anything but for a bad example.
#WebP is free of patent trolls and copyright claims.
And the next one will be, possibly, #JPEG-XL, which is/will be also free of patents.