Thank you everyone.
It's a pity that Virtual Serial Port hasn't been updated for years - it'd be exactly what I want, I think. Most solutions seem to involve more command-line work than I'm comfortable with. I might be able to cope with plugging in an Arduino, though.
If I have any breakthroughs, I'll let the forum know.