recipes/pdf-tools.rcp: restore original repository.