Re #5151. Remove spurious file.

Nothing to do with this ticket, but just noticed that this file had
obviously been added by accident.