Ah, cool.
Sounds kind of like the Nvidia tool for Windows.
Speaking of which, as well as your use case, I found this tool a while ago that looks and does pretty much the same thing: “GPU Screen Recorder”, found on flathub via “com.dec05eba.gpu_screen_recorder
”.
I hope it comes to use for anyone!
Hmm. Trying to find that. Do you mean ReplaySourcery?