Bug Fix: current API assumes TeacherAuthorizations to be comparable, but they were not. Also the revoked slot should not have been marked required
Completed the migration guide leaving two migrations possibilities open: keeping all extracted modules and delete them entirely.
Removed portal applications that became empty with the extraction