finally back to editing the video, and I've now found that FFV1 mostly does not have hardware accelerated encode/decode on Linux yet (ffmpeg shipped major improvements last summer, but ffmpeg is not VLC or Kdenlive)
that's too bad, because it's a lot more space-efficient than HuffYUV, but if my (fairly ancient) laptop chokes on 1080p30 playback due to using the CPU exclusively, I can't use it.
