Somehow this file was missed in the last commit. Since it's just a delete, do it...