Remove an unused file with an unusual name
Authored by: ehofman 2021-02-04
Parent: [r5493]
Child: [r5495]
