GIFs are supported in a majority of devices and applications and are relatively easy to share. Having both WebM and GIF as recordable formats is sure to give ChromeOS users flexibility when screen ...