Peer-to-peer file sharing

For the occasional local file transfer, a few simple tools can do the job quickly and efficiently.