Me respondo yo mismo, y lo digo aqui por si alguien pudiera estar interesado. He encontrado esta dirección con un editor gratuito de pdf:
https://www.pdfescape.com/
Que tiene esta opción. Es online, pero tiene también una versión descargable de pago, a elegir.
Me funcionó perfectamente con la opción page/more/deskew.
Aquí hay un tutorial que explica su uso:
https://www.funcionarioseficientes.e...e.original.pdf