Extinção de feriados: Vai-se o 1 de novembro, fica o 15 de agosto?

Afinal, parece que o Vaticano não quer que se acabe com o feriado de 15 de agosto (Assunção de Nossa Senhora). Prefere pôr fim ao 1 de novembro (Todos os Santos), diz a notícia de hoje no "Público" e na Ecclesia.
Ver aqui