Yeah, actually, I would. Since HN doesn't provide a "delete account" feature, why don't you do everybody a favor and just ban this account?