Jornalista Mário Martins no início da era informática do Jornal da Manhã