BTW, the reason it's set up this way is because modded science packs aren't always usable in vanilla labs. Since lab productivity tech is pretty much the official "uses every science pack" tech, it's safe to assume that any mod that adds its science pack(s) to the tech also adds its science pack the the vanilla labs. And it's also a reasonably safe assumption that if a science pack is excluded from lab productivity, the science pack is probably used in a somewhat different way to vanilla science packs, and adding an infinite prod tech for it might go against that design.