Btw there was some discussion in other threads on the best way to extract modules from the standard library into a different repo, e.g.