Thank you very much!
I don’t know why I was still using MineOS in that way - I built this new server in August 2018, and I think I just copied the installation steps from the original old server I built in … 2012? Anyway, I’m not going to hold on to the old.
I moved /usr/games/minecraft aside, and ran through the install instructions at https://minecraft.codeemo.com/mineoswiki/index.php?title=MineOS-node_(apt-get) - I had to run /usr/games/reset_webui.sh to make the web interface functional.
Now I will learn the “new” interface and also see how to adapt my admin scripts to the new utilities, as they called mineos_console.py, which is gone.
Thank you, again!