Solved...I never did find this discussed anywhere, so I don't really understand all the fine points, but here's what worked.
ListenStream=2880
Edit the original settings.js file to read
var port = process.env.LISTEN_PID > 0 ? 'systemd' : 2880;
I.e., in both cases, simply change 1880 to 2880.
Reboot the BBB. It now works!
Process for finding the solution:
I looked on the BBB for files with node-red in their name and 1880 in their text. Running as root and using the command line
find / -name \*node-red\* -print -exec grep 1880 {} \; 2> /dev/null | more
and experimenting with the results.
I hope this helps someone else who tries to change the port that Node-Red uses. It is one of the techniques suggested for improving the security of Node-Red projects.
Richard