PS. As I was thinking last night, I realized that I could try using the server onion address on my own Nextcloud client. I was using Bonjour and a .local address per the documentation, but I never thought of trying a Tor server and an onion address on my local net. I will look into that to see what happens. If I can get it to work, then my friend should be able to do the same thing.