If HR can't get rid of an underperforming employee because they're too lazy to do their homework, the company is fucked anyway. At least the dude is out of your hair.