Does anyone know when the renovations to the Portico de la Gloria will finish? I did El Camino with my friend this past summer and imagine our disappointment after walking from St. Jean Pied-de-Peu to find it boarded off!! We plan to go back to visit but want to make sure it is open. Thanks!