About the Random category

[Mike (Mike Hillyer)]

If it’s offtopic it belongs here.