Remove the page for Mike Krieger?

We'll delete the profile at /mike-krieger 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.