randysmith

Thanks for the suggestion! I did think of that, and I may do it, but it's a hassle (requires me to open an ssh port on my home server which I've so far been too paranoid to do), and my best guess is that's it's not necessary. But it's an option I'll definitely keep in mind.