Embora comummentemente aceite que o feriado do 5 de Outubro deriva da data de Implantação da República, no início do Séc. XX, a verdade é que, primeiro, ela deriva da data de assinatura do Tratado de Zamora em 1143, por D. Afonso Henriques e o rei de Castela.
http://pt.wikipedia.org/wiki/Tratado_de_Zamora
Nesta perspectiva, faz sentido o feriado, ou seja, como comemoração da data que marca a Independência de Portugal. Por uma coincidência da História, ou talvez não, a implantação da República ocorreu no mesmo dia, quase 800 anos depois, e os republicanos, ou os historiadores, apropriaram-se dela trocando-lhe o nome.
Independentemente da controvérsia de ser este um feriado redundante (se ele comemora só a implantação da República efectivamente é-o), a questão é de nome. Portugal tem mais de IX séc. de História, I séc. de república e VIII de monarquia. Pergunto, quando é que Portugal foi grande e quando é que foi pequeno? Depois de responder a esta questão, coloco outra: Ao 5 de Outubro, a continuar feriado, deve continuar a dar-se o nome de feriado Comemorativo do Dia de Implantação da República ou o da Independência de Portugal ou, ainda, um misto dos dois (p/ex.º Dia da Independência de Portugal e da Implantação da República) ?
Se se optasse pela 1.ª ou 3.ª opção, então, os feriados redundantes passariam a ser o 1.º de Dezembro e o 10 de Junho.
Dizer que o feriado do 5 de Outubro se resume à devolução/atribuição do Poder ao Povo, quanto a mim, faz parte da interpretação que cada um deseje dar, ou seja, a
Vox Populi, que também é legítima, pese embora circunstacial e/ou discutível.
Numa perspectiva economicista, obviamente, se há feriados a mais, este é um deles. Até porque, ''o Povo'', não comemora nada, só descansa, passeia e vai às compras, eu incluído.
No fundo, acho que todos seríamos monárquicos se o rei fosse da estirpe de um D. João II, D. Manuel ou D. Afonso Henriques. O pior é quando sai um D. Sebastião...
Disclaimer 
Não sou monárquico, mas também acho que não sou republicano.