Hmm, it seems Sequoia adds a "Local Network" category to its "Privacy & Security" settings, and if a program is not listed there, it no longer is allowed access to the local network. I think this is the problem my co-worker was running into.