OK. Solved my own problem by using vagrant version.
The version I was getting was much older than the version I installed this morning.
NEVER DO ANYTHING NEW
I thought I’d try installing vagrant on a different disk (lots more space) than the one everything else is on, and where I am working. Then I forgot that I’d done that.
Reinstalled Vagrant 2.0.2 on the correct disk and I’m moving forward again.