[Numpy-discussion] New random.Generator method: permuted