Thanks for the recommendation. I used simplescreenrecorder on Linux before, it worked pretty well. I'll try OBS on Windows and see how that goes.