Feriado local e nacional

O feriado local do Porto, o 24 de Junho, dia de S. João, foi escolhido em 1911. Depois da implantação da República, cada cidade tinha de escolher um feriado local e o diário portuense "Jornal de Notícias" promoveu uma votação popular entre os seus leitores. As opções mais votadas na disputa eram o 24 de Junho, dia das festas sanjoaninas, e o 1º de Maio, dia do trabalhador. Dizia-se que o Porto era a cidade do trabalho, pelo que seria lógico escolher esse dia para feriado...
Obviamente que não ganhou esta última opção. Porquê obviamente? Porque a malta do Porto não é parva nenhuma! Eles já a tinham fisgada e sabiam que, mais cedo ou mais tarde, obrigatoriamente, o 1º de Maio iria um dia destes ser feriado nacional!
Assim ficavam com dois feriados, o local e o nacional.
Agora digam lá se isto é gente que se deprima?!