PDF Tools is dead, long live PDF Tools. Development continues with this fork: https://github.com/vedang/pdf-tools .