Remove the page for Marvin Minsky?

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