Fix using multiple default intersphinx prefixes.
Review Request #8971 — Created May 25, 2017 and submitted — Latest diff uploaded
The new directive for choosing default intersphinx prefixes didn't actually work when specifying multiple prefixes. The argument parsing was broken, and the resulting nodes got modified after the first failed lookup in ways that broke the resulting text for subsequent lookups. This change fixes both issues, and fixes the documentation to show the correct format.
Tested with docs using multiple prefixes. Verified that all worked
correctly.