Thanks for the answer and for the educational discussion (seriously). I
had already tried to "just change it", but it didn't seem to be
working. Turns out that in a somewhat dyslexic state, I mistyped the PI
address when I edited /etc/resolv.conf. Now that that problem is
repaired, it works nicely. ;^)

Cheers,
Mark