961e2c4b68
I had resisted this for a while because I didn't want to take these file off the vendor branch. But it turns out they were already off the vendor branch anyway. PR: gnu/9987 Submitted by: Vladimir Kushnir <kushn@mail.kar.net> Approved by: jkh