Revert "CONTRIBUTORS: Add another name."

This reverts commit 777736aa0ac6d94d2065cab987c694bbfe64920f.

The name was a duplicate.