[alabastervlog]

I can't know if it was used in advance, so favor h265. Which is far more common (and so's h264) so it's not much trouble to avoid AV1.