Make it explicit that exporting to ogg is optional in the video lab