To answer my own question:
What helped, was Jed Grant’s comment and link to this GitHub discussion.
I did the following in a terminal:
source dnvm.sh
dnvm upgrade -u
And suddenly the “dnu” command was available so that I could run
dnu restore
As the installation instructions told me.