Andei perguntando para os "universitários" (Alan, prof de S.O. e Conceitos de Linguagens
de Programação e ...) e eles me juraram que em todos os SOs modernos a alocação de
memória está associada ao "processo". Desta forma, quando o processo acaba toda a área alocada
pelo processo é devolvida para o sistema. Sendo assim, é supérfluo dar free nos objetos
alocados no final do programa.
Agora, os universitários também juraram que, de fato, devolver a área é uma boa prática,
pois esse código pode vir a ser parte de algo maior (e outras coisas) e nesse caso a devolução da área é importante.