Webm is one of the formats my screen recorder supports and seems to be the one my coworkers use. It’s pretty convenient since it works without having to install proprietary codecs and it even works on safari now.