PDF editors are a dime a dozen these days. But with ...