Add a comment that after calling this function, to entirely delete the course (including permissions), it is necessary to call delete_course.