Remove docs from the ignored list, why would we even do that?