> I'd say a PR is not needed - the facts are known, it only needs
> people who understand X enough to do the necessary integration.

Well, if the facts are known to some set of people, maybe they should
be written down in a PR, so that someone with a sufficient
understanding of X can do the work has a greater chance of finding the
(a) facts, and (b) the people with relevant clue..

					- Bill