Review of the 2018 Opencast Developer Workshop