[which is an older version of the same source]. Remove it. Noted by Andrew Brown in connection with PR 18280.