Remove the page for Khoi Vinh?

We'll delete the profile at /khoivinh and stop researching this handle in the future. If this is your page and you'd rather take it over, you can claim it instead.