Opencast Studio liefert mir eine WEBM-Datei, ich möchte aber eine MP4 (oder anders herum). Wie kann ich das Format ändern?

Sie können das Format nicht ändern - und Schuld daran ist nicht Opencast Studio! Es ist vielmehr so, dass der von Ihnen verwendete Browser in Zusammenhang mit Ihrem Betriebssystem entscheidet, in welchem Videoformat eine Bildschirmaufnahme gespeichert wird. Sollten Sie also z. B. mit dem Firefox ein für Sie problematisches Format erhalten, verwenden Sie bitte Google Chrome - bzw. andersherum.