I tried all the above but none of them worked. In desperation, I disconnected all the cables, turned the printer upside down and banged the near left-hand corner, firmly but gently, twice on the floor.
Brutal though it sounds, this treatment cured the problem.
Dave Shone, May 2012