A big thank you to all of you who replied. Even replies I have not used on
this occasion will come in useful next time I have a network problem of any
kind...
And I have updated and am now upgrading - and Firefox and Thunderbird are
hopefully on the way. :-)