Cheekers' Randomness depot: Archive