Can you recommend any screen video capture tools compatible with Wayland? I’ll use such a tool on my Raspberry Pi 400 under 64-bit Raspberry Pi OS Bookworm, so I'd prefer one with appropriate Debian binaries.

Update

VokoscreenNG is a screencasting tool that works with Raspberry Pi OS, I tested it on my Pi 400. And it's also easy to install, just sudo apt install vokoscreen-ng gstreamer1.0-pipewire.