Até agora há pouco, as datas no calendário e nas seções de ambientes de apoio no formato semanal estava em inglês. Graças a um link passado pelo Prof. Tonelli do IME resolvemos o problema. Agora temos datas na língua padrão do ambiente.
(para os administrados de sistema: em servidores baseado na distribuição debian, use, no servidor onde o servidor web está instalado, dpkg-reconfigure locales e instale pt_BR.UTF8, es_ES.utf8, etc.)