Remove an unused file with an unusual name
Authored by: ehofman 2021-02-05
Parent: [r5494]
Child: [r5496]
