How dumb do the folks who didn’t want Mario look now