[Aahz] < ,,, > Note to Tim: you haven't followed PEP 4, so you can't really say that > whrandom is deprecated yet. whrandom was deprecated before PEP 4 was so much as a gleam in your loins. If you want to change that, you'll have to get a time machine.