I suggest you provide instructions to remove the keyboard shortcut for the Gnome Screen Recorder - on my systems it consistently crashes the Cinnamon desktop. The Control Center keyboard settings states "Toggle recording desktop (must restart Cinnamon).
If you want to suggest a better screen recording utility, I think SimpleScreenRecorder is a much better tool. It is in the repos. See: [url]https://www.maartenbaert.be/simplescreenrecorder/[/url]