77d75d7fcd
Clarify random theme setting, in particular how to know which theme was loaded if picked at random.
3.3 KiB
3.3 KiB
77d75d7fcd