A permanent closure of a popular sub is 100% going to lead to Reddit declaring the sub abandoned, replacing the mod team, and reopening. Has happened many times before. Not sure if programminghumor in particular meets that popularity threshold though.