Random Select

[RogerCooper]

I would like to have a random select option in either the games library web page and/or Ludii itself. With so many games, this will allow users to choose a game that they are not already familiar with.

[cambolbro]

Nice idea! We'll discuss adding that feature.