does anybody know if bluesky supports HEVC / how video is stored? that's very few pixels but if i can get more by pre-encoding my uploads i absolutely will do that