A final word. Perhaps of interest for future cases, the original symptom, the original threat detected by Avast, is still there when doing the Avast scan; and Avast continues to be unable to move, repair or delete. But I'm ignoring it hoping we have killed the threat somehow and Avast is simply 'confused'...... FYI.