Thank you for both of your messages.

An RS232 to USB adapter does look like a simpler solution, but I have heard some horror stories about damaged motherboards from serial adapters like this.

I’ll put some more research in and ask on Practical Machinist too. I’ll post the outcome back here when we get there.