Thanks all for your responses. Mint didn't work (think it is not compatible with old square screens), but we got Puppy to work (related to slackware, I think), which is probably quite a feeble OS, but for now he's just delighted to have something working.