On Wed, 11 Jun 2014 14:29:06 +0100, Johny B Good
wrote:

====snip====


Using the default FF browser (haven't gotten round to ditching that
bit of rubbish in favour of Opera just yet),

Just after posting that, I installed Opera 12.16 and got rid of the
'rubbish'. For once the software manager performed its duty without a
hitch.
--
J B Good