Comment by EGreg

Check the github for a repo named PlatformHistory. I pruned it 4 months ago and broke up the whole monorepo into subrepos