Simplify commands for getting a random UUID
The Kernel can give you a random identifier out of the box, not need for hashing random bytes yourself. The UUIDs are randomized every time you read from the device:
```
% cat /proc/sys/kernel/random/uuid /proc/sys/kernel/random/uuid
8cbcbd51-721e-4423-a1e1-2b7b9f3f5424
c99313d5-d8ec-48d1-a750-e4c170e7d41d
```
RELNOTES: None
PiperOrigin-RevId: 323813058
diff --git a/site/docs/user-manual.html b/site/docs/user-manual.html
index d412963..ed2c99c6 100644
--- a/site/docs/user-manual.html
+++ b/site/docs/user-manual.html
@@ -1490,7 +1490,7 @@
<pre>
#!/bin/bash
echo "CURRENT_TIME $(date +%s)"
-echo "RANDOM_HASH $(cat /dev/urandom | head -c16 | md5sum 2>/dev/null | cut -f1 -d' ')"
+echo "RANDOM_HASH $(cat /proc/sys/kernel/random/uuid)"
echo "STABLE_GIT_COMMIT $(git rev-parse HEAD)"
echo "STABLE_USER_NAME $USER"
</pre>
