[DOC] Manual: deprecated the randomness tutorial