Thanks @teklektik, 8 years later, this post was still very useful: I confirm this was very simple using putty on Ubuntu Linux. I used the CA utility to check the USB port number, which for me was /dev/ttyUSB0
On the main putty screen, I had to select "Serial", which let me enter the USB port...