The UCs admonish applicants to not assume that they know what you did. It doesn’t hurt for her to write about it in the extra comments section. I would suggest that whatever she writes has a positive tone and that she doesn’t compare herself to others.
Edit to add links to campus videos explaining what types of things can be put in the academic history additional comments section. I tried to link to the specific section of the video where they talk about additional comments.
While the readers are familiar with IB programs, they might not be familiar with the nuances at her school. They are reading through applications quickly and I don’t think adding context and clarifying her IB education will be held against her.
Berkeley:
UC San Diego: They ask students to explain their high school’s course policies. Again, don’t assume that they know everything about your school. They are reading a lot of applications and it doesn’t hurt to put the information you want them to know in front of them when they are reading your application.
Here is a good one from UCSB. They ask for students to share why they decided to take advanced coursework. Note, the audience for this video is HS Counselors, not applicants.