Delete doc of already-deleted RAND mod
Working on issue_0040706-remove-rand-mod-doc
Closed by 7adb828b76d79099e5528322f584158780e619bf
Delete doc of already-deleted RAND mod