I actually ended up using ChatGPT's convert suggestion (the only tool already installed on my server), which did the trick, with the downside that it turned a born-digital PDF into a "scanned image" PDF... It seems I need to start inst