OK, now that we managed to get the installation transferred to the new machine using clonezilla, just one more question.
When I did the transfer, of course it duplicated the original partitions, so we had /, swap and home.
The swap partition is sized for the old system, so it is only a bit under 2G. However, the new system has 4G memory.
What is the right thing to do? Reclaim some space (it would need to be from / which is 20G or so, so it would be possible to take 6G fairly safely? Leave it alone? Delete it - because do we really need a swap partition if we have 4G memory?
Peter