Ok – jetzt aber!
Offenbar gab es ein Update des Plugins, so dass meine Änderungen im Hintergrund „unbemerkt“ wieder rückgängig gemacht wurden Daher habe ich nun nochmal diese Änderungen durchgeführt:
und anschließend nochmal: php admin/cli/scheduled_task.php --execute='\local_profilecohort\task\update_cohorts'
Jetzt stimmen die Zuordnungen wieder – mal abwarten wie lange!
Daher habe ich nun nochmal diese Änderungen durchgeführt: