[OT] Preload hoses my system

[Richmond]

What can I say except "Thank God for gparted":

shrank my 'Home' partition by some 37 GB, and then copied my 9.5 GB 
'boot' partition over into
the freed space and flagged that space as 'boot': took all night, but 
did it by itself while I slept: cheers, cheers!

AND:

"Don't make a boot partition that the Linux people say is 'OK': triple 
it, at least.

'Learning from avoiding mistakes' . . . Ha, Ha, Ha: learning from 
putting my foot in it
for 51 years more likely.

Thanks to all on the list for all the helpful advice.

Richmond.