[PATCH] mention zsh/random in the description of $RANDOM

[Jun T <takimoto-j@xxxxxxxxxxxxxxxxx>]

Following the recent discussion in zsh-users, I think it would
be better to mention zsh/random module in the description of
the variable RANDOM in zshparam(1).

Any comments?


diff --git a/Doc/Zsh/params.yo b/Doc/Zsh/params.yo
index dd4519622..5d0fa9555 100644
--- a/Doc/Zsh/params.yo
+++ b/Doc/Zsh/params.yo
@@ -926,6 +926,12 @@ The values of tt(RANDOM) form an intentionally-repeatable pseudo-random
 sequence; subshells that reference tt(RANDOM) will result
 in identical pseudo-random values unless the value of tt(RANDOM) is
 referenced or seeded in the parent shell in between subshell invocations.
+
+tt(RANDOM) uses the system's library function tt(rand+LPAR()3+RPAR()).
+You may use
+ifzman(the zsh/random module (see zmanref(zshmodules)))\
+ifnzman(noderef(The zsh/random Module))
+if higher degree of randomness is required.
 )
 vindex(SECONDS)
 item(tt(SECONDS) <S>)(