Só uma pergunta: quanto ao Adobe Reader, vai mesmo ficar no 9.4.7 (64-bit) ou no 9.5.1 (32-bit)? Eu costumo usar esse programa pra ler PDFs, mas, se for esse mesmo o caso, passarei a usar o Evince (que, aliás, acredito que está ficando tão bom quanto o Adobe Reader).