Arjen Haayman on Nostr: but how *do* you rotate a PDF? Do you use a tool or do you append some rotation ...

but how *do* you rotate a PDF? Do you use a tool or do you append some rotation command to the file (never had to do this)