URI de baixar 4.1.2 quebrado?

Tentei baixar o instalador principal em http://pt-br.libreoffice.org/baixe-ja/?type=deb-x86_64&lang=fr&version=4.1.2 e veio somente um fragmento com poucos quilobytes. Alguém mais teve o mesmo problema, ou é alguma interferência do servidor intermediário corporativo?

Os servidores espelhos que distribuem a carga de download do LibreOffice no Brasil estão listados neste link:

http://download.documentfoundation.org/mirmon/#br

Se o sistema está acessando um servidor com problemas, você pode navegar diretamente para um dos servidores ativos e baixar os pacotes manualmente.

Todavia, o sistema de seleção de servidores é bem robusto e não deveria obrigar ao download manual.

Pode também haver um firewall corporativo que vede o download de alguma dessas URL citadas. Pelo menos em uma empresa que conheço, o site da Unicamp estava vetado.