- Randy renamed Pick to RandomPick.

- This should be merged ASAP, otherwise GZDoom 2.0.04 is going to encourage the use of "Pick" when Randy renamed it to "RandomPick", thus breaking mods updating from 2.0.04 to another version after this.