Is there a practical reason why they are not in the same repo?
No, other than trying to put them into one would grind everything to a halt for a while and would probably cost us more than we'd win. (All pull requests would need to be recreated, for one, and a lot of tools will break.)
