[Random] Document default_rng and remove references to GLOBAL_RNG#44733
Merged
giordano merged 2 commits intoJuliaLang:masterfrom giordano:mg/doc-default-rngMar 27, 2022
+32-18
default_rng and remove references to GLOBAL_RNG#44733