Of course the aggregator could read all of those sources and merge them
all into one big file. This would mean that in practice, most people
would just read the results of the aggregator instead of scavenging from
individual implementations' git repos and tar files, trusting that the
aggregator to do the latter job for all. Is this reasonable?