Do we think this and `nextRandomNumber` below can replace `getRandomIndex()` in #947?  CC @DavidHudlow