Acabei de extrair esta versão em X264 (vai substituir a que saquei à hora de almoço e verificar os links, que, como suspeitava, estão ok). Não tenho conta premium no servidor, apenas uma free e utilizo o jdownloader para dar "uma mãozinha".
O problema reportado por alguns "reformados" poderá estar em picos de descarga ou manutenção do dito.