IMHO he would have documented the removal, he is very verbose in his commits. Also, I don't see the point in removing it: being an external plugin only means the source is in other server.
After making the patch, I can assure it is easy to duplicate or miss an entry.
EDIT: may be he removed it from his local workspace file for testing on MSW and later forgot about it. BTW, is he OK?