Opencast version: 12.5

Release date: Nov. 16, 2022