Updates:
- Updated NDI SDK version for the NDI Recorder.
- Fixed a bug where drivers who disconnected before the race would periodically appear in the results for a fraction of a second.
- Fixed a bug in the Theme Editor that sometimes caused a crash when selecting widgets or controls in the designer.