Mass times at Lisbon cathedral: want to attend Mass on Sunday and then start walking

The web of the Patriarchate of Lisbon (the Archdiocese of Lisbon) provides info about mass times in Lisbon parishes as well as in the Cathedral. I assume it's updated but I can't confirm it.

www.patriarcado-lisboa.pt/site (click on Horário das Missas at the bottom of the web to your left, on the next page, choose Sé patriarcal as paróquia and domingo as dia and click on Procurar to get the results).