☰

Add Random Problem Button

Adds a button to choose a problem at random.

As of 2021-06-24. See the latest version.