Recorded a new tutorial video, but the screen recorder only grabbed the upper left quarter of the screen instead of the whole thing (HiDPI issue I guess? What are people using for screen recording on Linux/X.org these days?). I can probably still make it work instead of re-recording the whole thing, but I'll want to eat a lunch before I attempt that.