Gunpei Yokoi in Credits can now be found here. If you wish to view the old site, left as-is, you can still do that here.