Well, Chris, sure enough, running /usr/bin/nano gives a 7.2 version, so I will
try-and-ajust an alias. I tried I think it was Victor's suggestion of
downloading a source package, but among the .tar file, I didn't see a usual
.configure. Anyway, fixing an alias should solve this-and-thank you again.