We don't have a `current_course` here yet, so this can stay `User`.