[rvg] Hyperexponential: finalized doc.