[throwaway894345]

I don’t recall. We split it into multiple bundles in hopes of improving speed, but I don’t know the sizes in any case.