[3rd-party plugins] RTE-Player deleted, as it is part of the OnDemand plugin