Add documentation for PEx#893

ankushdesai merged 2 commits intomajor/P3.0p-org/P:major/P3.0from

dev_p3.0/pex_docp-org/P:dev_p3.0/pex_docCopy head branch name to clipboard