BOXVR: Themed Cues are back (v0.20)

Hello! We have just released an update to include a new option in graphics settings for cue selection. We have set this to use our new cue set as default for all environments, but you can turn it off if you prefer to us…