Ainda o 3 de Maio

 Ainda sobre o contributo que H.C.M. nos trouxe sobre a comemoração do dia 3 de Maio pelos meninos da escola de Porto da Lage, temos mais uma informação: entre a proclamação da República e a Revolução de 1930, o Brasil celebrava aquele dia, que era feriado nacional, como o da sua descoberta.