Apparently at some point recently the default RNG was changed from MersenneTwister to some xorshift based thing. But Random still only has MersenneTwister and RandomDevice as the available generators. It seems like it’d be useful to always have whatever the default RNG is as an explicit type in Random as well, otherwise you can’t easily use an explicit RNG argument that behaves the same as the default one.
(or maybe this is just the documentation being out of date?)