Delete old tangled file.

(See e20718b0107798eced6dcb22f4708938ee9ad4e4)