Both word, and Google docs can do this, the results aren't always great but the function is there.
https://support.microsoft.com/en-us/office/edit-a-pdf-b2d1d7...
https://support.microsoft.com/en-us/office/edit-a-pdf-b2d1d7...
> This works best with PDFs that are mostly text
I somehow doubt OPs converter does much better. I hope to be proven wrong though.