This is unfortunate: The link provided in post
#2 about mass at the Cathedral of Santiago is out of date and has been out of date for several years. The renovation works that are mentioned in this link have been finished a long time ago.
The times for mass on
https://catedraldesantiago.es/liturgia/#horarios-misas are the correct times and up to date: Pilgrim mass is celebrated every day of the week at 7:30, 9:30, 12:00 and 19:30.
For those interested in the times for the pilgrim mass on 25 July 2024: The Solemn Mass at 10:30 is not a pilgrim mass. Whether the King of Spain is present or not, it is unlikely for pilgrims from out of town to be admitted or find a place. On this special feast day, there is a change to the usual schedule for the pilgrim mass: There is no pilgrim mass in the morning and also not at midday but at the following times in the afternoon: 13:00, 16:00, 17:00, 18:00 and 19:30.
Source:
https://catedraldesantiago.es/solemnidad-del-apostol-santiago-2024/